is made of at all times

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

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

Type: Object Property

SubProperty Of: bfo:has continuant part at all times · is made of at some time

Domain: bfo:material entity

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

Definition

relation between material entity b and material entity that is not a fiat object c such that b has continuant part at all times c and if portion of c is removed from b, that portion stops being part of b, while the remaining c continues to exist as the same material entity and b remains to have continuant part c

Explanatory Notes

This relation is asserted with an ‘at all times’ condition. It therefore implies that, for every time at which a exists, a has b as a continuant part. Equivalently, there is no time during the existence of a at which a fully lacks b as a part while still remaining the same material entity

Examples

• A glass bottle is made of glass at all times during its existence as that bottle; A polymer tube is made of polymer at all times during its existence as that tube

Description Logic

constr:isMadeOfAtAllTimes ⊑ bfo:has_continuant_part_at_all_times

constr:isMadeOfAtAllTimes ⊑ constr:isMadeOfAtSomeTime

domain: bfo:material_entity

range: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

SubPropertyOf: bfo:has_continuant_part_at_all_times

SubPropertyOf: constr:isMadeOfAtSomeTime

domain: bfo:material_entity

range: bfo:material_entity and not bfo:fiat_object_part