defines typical parts of (defines typical wholes for) – P150
P150 defines typical parts of (defines typical wholes for)
Domain:
Range:
Quantification:
0,n:0,n
Scope note:
The property "broaderPartitive" 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. This is the sense of "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(x)
- P150(x,y) ⇒ E55(y)
Scope notes
Examples
Additional notes
Identifier: P150
Official URI: http://www.cidoc-crm.org/cidoc-crm/P150_defines_typical_parts_of
OntoME URI: https://ontome.net/ontology/p138
Domain and range
crm:E55 Type → P150 defines typical parts of (defines typical wholes for) → crm:E55 Type (Quantifiers 0,n:0,n)
Labels
: Standard label for this language
Comments
No comment found.