P150 defines typical parts of

Scope note: This property associates an instance of E55 Type “A” with an instance of E55 Type “B”, when items of type “A” typically form part of items of type “B”, such as “car motors” and “cars”. It allows types to be organised into hierarchies based on one type describing a typical part of another. This property is equivalent to "broader term partitive (BTP)" as defined in ISO 2788 and “broaderPartitive” in SKOS. Examples: - Car motors (E55) defines typical parts of cars (E55) In First Order Logic: P150(x,y) ⊃ (E55 Type) P150(x,y) ⊃ E55(y)

P150 defines typical parts of

Scope note: This property associates an instance of E55 Type “A” with an instance of E55 Type “B”, when items of type “A” typically form part of items of type “B”, such as “car motors” and “cars”. It allows types to be organised into hierarchies based on one type describing a typical part of another. This property is equivalent to "broader term partitive (BTP)" as defined in ISO 2788 and “broaderPartitive” in SKOS. Examples: - Car motors (E55) defines typical parts of cars (E55) In First Order Logic: P150(x,y) ⊃ (E55 Type) P150(x,y) ⊃ E55(y)