P150 defines typical parts of (defines typical wholes for) in version 7.1

Domain:
E55 Type
Range:
E55 Type
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
many to many (0,n:0,n)
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”. The property is in general not transitive.

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) (fictitious)
In First Order Logic:
P150(x,y) ⇒E55(x), P150(x,y) ⇒E55(y)