Cross reference for [Ontology Name] classes, properties and dataproperties back to ToC

This section provides details for each class and property defined by [Ontology Name].

Classes

active functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/active-function

function which is activated and it is currenlty executing.
has super-classes
function c

control functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/control-function

has super-classes
function c
has sub-classes
trun off function c, turn on function c

effect typec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/effect-type

Also called effect.
has super-classes
situation type
has sub-classes
failure effect type c, final level effect type c, higher level effect type c, local level effect type c, no effect type c

executable functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/executable-function

has super-classes
function c

failurec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/failure

has super-classes
event
has sub-classes
worng manifestation of function c

failure effectc back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/failure-effect

has super-classes
situation

failure effect typec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/failure-effect-type

has super-classes
effect type c
inverse brings about only failure c

failure modec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/failure-mode

has super-classes
function c

failure mode causec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/failure-mode-cause

failure mode activates a failure mode disposition
has super-classes
situation
activates some failure mode c

feedback functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/feedback-function

has super-classes
function c

final level effect typec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/final-level-effect-type

has super-classes
effect type c
has sub-classes
final level effect type for aircraft c

final level effect type for aircraftc back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/data/reliability/example-1/final-level-effect-type-for-aircraft

has super-classes
final level effect type c

functionc back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/function

has super-classes
disposition
has sub-classes
active function c, control function c, executable function c, failure mode c, feedback function c, inactive function c, nonexecutable function c, protection function c, sense function c

gain of function executionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/gain-of-function-execution

Let C be a structuralElement with function F and G a "Gain of function execution" F. G is an event which brings about a situation GS where the function F can be manifested or F is executable. Note that the situation GS is the cause of F being executable. GS can be further used to specify which objects states are the cause of F being executable: - C was brought into a state where F can be executed - Sufficient requirements and conditions of other components and the environment for the execution of F are met.
has super-classes
event

higher level effect typec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/data/reliability/example-1/higher-level-effect-type

has super-classes
effect type c

inactive functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/inactive-function

has super-classes
function c

local level effect typec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/local-level-effect-type

has super-classes
effect type c

loss of function executionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/loss-of-function-execution

Let C be a structuralElement with function F and L be a "loss of function execution" F. L is an event which brings about a situation LS where the function F cannot be manifested or F is not executable. Note that the situation LS is the cause of F not being executable. LS can be further used to specify which objects states are the cause of F not being executable: - C was brought into a state where it cannot execute of F - Sufficient requirements and conditions of other components and the environment for the execution of F are not met
has super-classes
event

manifestation of functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/manifestation-of-function

has super-classes
event
inverse is manifested by only function c
has sub-classes
worng manifestation of function c

no effect typec back to ToC or Class ToC

IRI: http://onto.fel.cvut.cz/ontologies/reliability/no-effect-type

has super-classes
effect type c

nonexecutable functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/nonexecutable-function

has super-classes
function c

protection functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/protection-function

has super-classes
function c

sense functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/sense-function

has super-classes
function c

trun off functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/trun-off-function

has super-classes
control function c

turn on functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/turn-on-function

has super-classes
control function c

worng manifestation of functionc back to ToC or Class ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/worng-manifestation-of-function

has super-classes
manifestation of function c
failure c

Data Properties

is manifestabledp back to ToC or Data Property ToC

IRI: http://onto.fe.cvut.cz/ontologies/functions/is-manifestable

has range
boolean

Legend back to ToC

c: Classes
op: Object Properties
dp: Data Properties
ni: Named Individuals