is made of at some time

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

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

Type: Object Property

SubProperty Of: bfo:has continuant part

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 some time 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

1) This relation captures the continuous material composition of an entity rather than its structural or component assembly. It depends on the presence of some quantity of the material, not on the exact total amount. The identity of b remains unchanged when its portions are removed; only the quantity of the material within a varies. The relation continues to hold as long as any remainder of b remains materially present in a. 2) It applies to continuous substances or amounts of matter such as glass, steel, polymer, or wood. It should not be used for discrete parts, modules, or components such as wheels, valves, or bolts. The material may be homogeneous or composite; chemical uniformity is not required. 3) The relation has the following characteristics: irreflexive, asymmetric, non-functional, non-transitive

Examples

• A bottle is made of glass; a bioreactor vessel is made of stainless steel; a capsule shell is made of gelatin; a wooden tabletop is made of oak

Description Logic

constr:isMadeOfAtSomeTime ⊑ bfo:has_continuant_part

domain: bfo:material_entity

range: bfo:material_entity ⊓ ¬ bfo:fiat_object_part

SubPropertyOf: bfo:has_continuant_part

domain: bfo:material_entity

range: bfo:material_entity and not bfo:fiat_object_part