component part of at all times

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

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

Type: Object Property

SubProperty Of: bfo:proper continuant part of at all times · component part of at some time

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

Definition

relation from a material entity to another material entity that it is a proper part of at all times it exists

Examples

• transmission assembly is a component part of a car; engine control ;sparger is a component part of a bioreactor

Formal Axioms

First-Order Logic Axioms

componentPartOfAtAllTimes(x,y) → (MaterialEntity(x) ∧ ¬(FiatObjectPart(x))) ∧ (MaterialEntity(y) ∧ ¬(FiatObjectPart(y))) ∧ properContinuantPartOfAtAllTimes(x,y)

Semi-Formal Natural Language Axioms

x component part of at all times 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 all times’ y

Description Logic

constr:componentPartOfAtAllTimes ⊑ bfo:proper_continuant_part_of_at_all_times

constr:componentPartOfAtAllTimes ⊑ constr:componentPartOfAtSomeTime

domain: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

range: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

Transitive

SubPropertyOf: bfo:proper_continuant_part_of_at_all_times

SubPropertyOf: constr:componentPartOfAtSomeTime

domain: bfo:material_entity and not bfo:fiat_object_part

range: bfo:material_entity and not bfo:fiat_object_part

Transitive