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:
Examples:
No example yet.
In First Order Logic:
- P150(x,y) ⊃ E55(x)
- P150(x,y) ⊃ E55(y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
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. | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : P150
Domain and range
E55 Type → P150 defines typical parts of (defines typical wholes for) → E55 Type (Quantifiers 0,n:0,n)
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
defines typical parts of (defines typical wholes for) * | en | 2020-08-26 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
CIDOC CRM version 6.2 | 2020-08-26 |
Parent properties
Domain | Property | Range | Justification | Relation namespace | View details | Comments |
---|
Ancestor properties
Domain | Property | Range | Depth | Property namespace |
---|
Child and descendant properties
Domain | Property | Range | Depth | Property namespace |
---|
Related properties
Relation | Property | Justification | Relation namespace | View details | Comments |
---|
Profiles using this class
Label | Start date | End date | Last updated |
---|
Comments
No comment found.