is composed of part of type (is type of part of) – P17
P17 is composed of part of type (is type of part of)
Domain:
Range:
Quantification:
0,n:0,n
Scope note:
Examples:
No example yet.
In First Order Logic:
- P17(x,y) ⊃ E18(x)
- P17(x,y) ⊃ E55(y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
This property models components of physical objects that are not identified as individuals but just as types. It extends the crm:P46 is composed of property to more general situation where the identification of each part of a physical thing is not identified as such. | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : P17
Domain and range
E18 Physical Thing → P17 is composed of part of type (is type of part of) → E55 Type (Quantifiers 0,n:0,n)
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
is composed of part of type (is type of part of) * | en | 2020-08-24 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
CIDOC CRM supplement (HistDMI) ongoing | 2020-08-19 |
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 |
---|---|---|---|
Physical man-made objects and basic information about them | 2020-08-24 |
Comments
No comment found.