IOF-MAINTENANCE | Properties

ID	https://spec.industrialontologies.org/ontology/core/Core/actsOnBehalfOfAtSomeTime https://spec.industrialontologies.org/ontology/core/Core/actsOnBehalfOfAtSomeTime https://dev.matportal.org/ontologies/IOF-MAINTENANCE/actsOnBehalfOfAtSomeTime Loading
Type	http://www.w3.org/2002/07/owl#ObjectProperty

semiFormalNaturalLanguageAxiom	x acts on behalf of at some time y holds when x is a 'material entity' (that is not a 'fiat object part') and y is some 'person' or 'group of agents' or 'engineered system' and at some time t, there exists a 'planned process' p such that x 'participates in' p and p 'achieves at some time' some 'objective specification' d that 'generically depends on at some time' y
firstOrderLogicAxiom	actsOnBehalfOfAtSomeTime(x,y) → (MaterialEntity(x) ∧ ¬(FiatObjectPart(x)) ∧ (Person(y) ∨ GroupOfAgents(y) ∨ EngineeredSystem(y)) ∧ ∃p,∃d (PlannedProcess(p) ∧ ObjectiveSpecification(d) ∧ participatesInAtSomeTime(x,p) ∧achievesAtSomeTime(p,d) ∧ genericallyDependsOnAtSomeTime(d,y))
rdf:type	http://www.w3.org/2002/07/owl#ObjectProperty Loading

IOF Maintenance Working Group Reference Ontology (IOF-MAINTENANCE)