<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="https://spec.industrialontologies.org/ontology/construct/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:ns1="https://spec.industrialontologies.org/ontology/annotation/"> <owl:ObjectProperty rdf:about="https://spec.industrialontologies.org/ontology/construct/actsOnBehalfOfAtSomeTime"> <rdfs:label xml:lang="en-us">acts on behalf of at some time</rdfs:label> <rdfs:isDefinedBy rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://spec.industrialontologies.org/ontology/core/Core/</rdfs:isDefinedBy> <skos:example xml:lang="en-us">An agent acts on behalf of a business organization. A laywer acts on behalf of a person.</skos:example> <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:firstOrderLogicAxiom> <ns1:naturalLanguageDefinition xml:lang="en-us">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</ns1:naturalLanguageDefinition> <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</ns1:semiFormalNaturalLanguageAxiom> </owl:ObjectProperty> </rdf:RDF>