observes at some time

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

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

Type: Object Property

Domain: agent

Range: bfo:entity

Inverse Of: observed by at some time

Definition

relation from an agent to an entity indicating that the agent participates in some process that outputs information about the entity, at some time

Explanatory Notes

this property was not put under participates in at some time because the target of observation can be continuant or an occurent and in the case of an occurent an agent that observes the occurent might not participate in that occurent

Examples

• a scientist observing a chemical reaction in an experiment, an operator observes a machining process, a doctor observes a group of COVID patients

Formal Axioms

First-Order Logic Axioms

observesAtSomeTime (x, y) → Agent(x) ∧ Entity(y) ∧ ∃p∃i(Process(p) ∧ InformationContentEntity(i) ∧ participatesInAtSomeTime(x,p) ∧ hasOutput(p,i) ∧ isAbout(i,y))

Semi-Formal Natural Language Axioms

b observes p at some time t when b is an ‘agent’ and p is an ‘entity and there is a ‘process’ in which b ‘participates in at some time’ and that ‘has output’ some ‘information content entity’ that ‘is about’ p

Description Logic

constr:observesAtSomeTime ⊑ _:topObjectProperty

domain: constr:Agent

range: bfo:entity

inverse: constr:observedByAtSomeTime

SubPropertyOf: _:topObjectProperty

domain: constr:Agent

range: bfo:entity

inverse: constr:observedByAtSomeTime