consists of (is incorporated in) – P45
P45 consists of (is incorporated in)
Domain:
Range:
Quantification:
0,n:1,n
Scope note:
This property identifies the instances of E57 Materials of which an instance of E18 Physical Thing is composed.
All physical things consist of physical materials. P45 consists of (is incorporated in) allows the different Materials to be recorded. P45 consists of (is incorporated in) refers here to observed Material as opposed to the consumed raw material.
A Material, such as a theoretical alloy, may not have any physical instances
Examples:
silver cup 232 (E22) consists of silver (E57)
In First Order Logic:
- P45(x,y) ⇒ E18(x)
- P45(x,y) ⇒ E57(y)
Scope notes
Examples
Additional notes
Identifier: P45
Official URI: http://www.cidoc-crm.org/cidoc-crm/P45_consists_of
OntoME URI: https://ontome.net/ontology/p42
Domain and range
crm:E18 Physical Thing → P45 consists of (is incorporated in) → crm:E57 Material (Quantifiers 0,n:1,n)
Labels
: Standard label for this language
Comments
No comment found.