@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <https://spec.industrialontologies.org/ontology/construct/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns1: <https://spec.industrialontologies.org/ontology/annotation/> .
ns0:actsOnBehalfOfAtSomeTime
a owl:ObjectProperty ;
rdfs:isDefinedBy "https://spec.industrialontologies.org/ontology/core/Core/"^^<http://www.w3.org/2001/XMLSchema#anyURI> ;
rdfs:label "acts on behalf of at some time"@en-us ;
skos:example "An agent acts on behalf of a business organization. A laywer acts on behalf of a person."@en-us ;
ns1: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))" ;
ns1:naturalLanguageDefinition "relation from a material entity to a person or a group of agents or engineered system that holds when the material entity participates in some planned process in order to fulfill an objective for the person or group of agents or engineered system"@en-us ;
ns1: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" .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <https://spec.industrialontologies.org/ontology/construct/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns1: <https://spec.industrialontologies.org/ontology/annotation/> .
ns0:actsOnBehalfOfAtSomeTime
a owl:ObjectProperty ;
rdfs:isDefinedBy "https://spec.industrialontologies.org/ontology/core/Core/"^^<http://www.w3.org/2001/XMLSchema#anyURI> ;
rdfs:label "acts on behalf of at some time"@en-us ;
skos:example "An agent acts on behalf of a business organization. A laywer acts on behalf of a person."@en-us ;
ns1: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))" ;
ns1:naturalLanguageDefinition "relation from a material entity to a person or a group of agents or engineered system that holds when the material entity participates in some planned process in order to fulfill an objective for the person or group of agents or engineered system"@en-us ;
ns1: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" .