component part of at some time

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

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

Type: Object Property

SubProperty Of: bfo:proper continuant part of at some time

Range: bfo.BFO_0000040 & Not(bfo.BFO_0000024)

Inverse Of: has component part at some time

Definition

relation from a material entity to another material entity that it is a proper part of at some time

Explanatory Notes

The IOF does not consider as component part of material entities that are delineated by a non-physical (fiat) boundary from the material entity they are a part of.

Examples

a particular chromatography column is a component part of a chromatography system during several purification cycles; a particular tool is a component part of a CNC machine while it is being used for manufacturing a particular part

Formal Axioms

First-Order Logic Axioms

componentPartOfAtSomeTime(x,y) → (MaterialEntity(x) ∧ ¬(FiatObjectPart(x))) ∧ (MaterialEntity(y) ∧ ¬(FiatObjectPart(y))) ∧ properContinuantPartOfAtSomeTime(x,y)

Semi-Formal Natural Language Axioms

x component part of at some time y holds when x is a ‘material entity’ that is not a ‘fiat object part’ and y is a ‘material entity’ that is not a ‘fiat object part’ and x is ‘proper continuant part of at some time’ y

Description Logic

constr:componentPartOfAtSomeTime ⊑ bfo:proper_continuant_part_of_at_some_time

domain: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

range: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

inverse: constr:hasComponentPartAtSomeTime

SubPropertyOf: bfo:proper_continuant_part_of_at_some_time

domain: bfo:material_entity and not bfo:fiat_object_part

range: bfo:material_entity and not bfo:fiat_object_part

inverse: constr:hasComponentPartAtSomeTime