acts on behalf of at some time

IRI: https://spec.industrialontologies.org/ontology/construct/actsOnBehalfOfAtSomeTime

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

Range: construct.EngineeredSystem | construct.GroupOfAgents | construct.Person

Definition

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

Examples

• An agent acts on behalf of a business organization. A laywer acts on behalf of a person.

Formal Axioms

First-Order Logic Axioms

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))

Semi-Formal Natural Language Axioms

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

Description Logic

domain: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

range: constr:EngineeredSystem ⊔ constr:GroupOfAgents ⊔ constr:Person

domain: bfo:material_entity and not bfo:fiat_object_part

range: constr:EngineeredSystem or constr:GroupOfAgents or constr:Person