has component part at all times

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

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

Type: Object Property

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

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

Definition

relation from a material entity to another material entity that it has as a proper part at all times it exists

Examples

• car has component part a chasy; a bioractor has component part a stainless steel vessel

Formal Axioms

First-Order Logic Axioms

hasComponentPartAtAllTimes(x,y) → (MaterialEntity(x) ∧ ¬(FiatObjectPart(x))) ∧ (MaterialEntity(y) ∧ ¬(FiatObjectPart(y))) ∧ hasProperContinuantPartAtAllTimes(x,y)

Semi-Formal Natural Language Axioms

x has component part 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 ‘has proper continuant part at all times’ y

Description Logic

constr:hasComponentPartAtAllTimes ⊑ bfo:has_proper_continuant_part_at_all_times

constr:hasComponentPartAtAllTimes ⊑ constr:hasComponentPartAtSomeTime

domain: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

range: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

Transitive

SubPropertyOf: bfo:has_proper_continuant_part_at_all_times

SubPropertyOf: constr:hasComponentPartAtSomeTime

domain: bfo:material_entity and not bfo:fiat_object_part

range: bfo:material_entity and not bfo:fiat_object_part

Transitive