IOFCMNSMAP | Properties

ID	https://spec.industrialontologies.org/ontology/construct/actsOnBehalfOfAtSomeTime https://spec.industrialontologies.org/ontology/construct/actsOnBehalfOfAtSomeTime https://dev.matportal.org/ontologies/IOFCMNSMAP/actsOnBehalfOfAtSomeTime Loading
Type	http://www.w3.org/2002/07/owl#ObjectProperty
Definitions	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)) 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

rdfs:isDefinedBy	https://spec.industrialontologies.org/ontology/core/Core/ Loading
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))
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
rdf:type	http://www.w3.org/2002/07/owl#ObjectProperty Loading

Industrial Ontology Foundry (IOF) Mapping the Object Management Group (OMG) Commons Ontology Library (Commons) to the IOF Core Ontology (IOFCMNSMAP)