observed by at some time

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

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

Type: Object Property

Domain: bfo:entity

Range: agent

Inverse Of: observes at some time

Definition

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

Examples

• a chemical reaction in an experiment is observed by a scientist, a machining process is observed by an operator, a group of COVID patients are observed by a doctor

Formal Axioms

First-Order Logic Axioms

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

Semi-Formal Natural Language Axioms

p is observed by b at some time t holds when p is an ‘entity’ and b is an ‘agent’ 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:observedByAtSomeTime ⊑ _:topObjectProperty

domain: bfo:entity

range: constr:Agent

inverse: constr:observesAtSomeTime

SubPropertyOf: _:topObjectProperty

domain: bfo:entity

range: constr:Agent

inverse: constr:observesAtSomeTime