has component part at some time

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

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

Type: Object Property

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

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

Inverse Of: component part of at some time

Definition

relation from a material entity to another material entity that it has as a proper part at some time

Examples

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

Formal Axioms

First-Order Logic Axioms

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

Semi-Formal Natural Language Axioms

y has component part at some time x 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:hasComponentPartAtSomeTime ⊑ bfo:has_proper_continuant_part_at_some_time

domain: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

range: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

inverse: constr:componentPartOfAtSomeTime

SubPropertyOf: bfo:has_proper_continuant_part_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:componentPartOfAtSomeTime