http://www.cidoc-crm.org/cidoc-crm/P45_consists_of
rdf:Property
Quantification: many to many, necessary (1,n:0,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). (fictitious)
In First Order Logic:
- P45(x,y) ⇒ E18(x)
- P45(x,y) ⇒ E57(y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E18_Physical_Thing | :P45_consists_of | :E57_Material |
@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:P45_consists_of a rdf:Property ;
rdfs:label "besteht aus"@de,
"αποτελείται από"@el,
"consists of"@en,
"comprend"@fr,
"consiste de"@pt,
"состоит из"@ru,
"包含"@zh ;
rdfs:comment """Quantification: many to many, necessary (1,n:0,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). (fictitious)
In First Order Logic:
- P45(x,y) ⇒ E18(x)
- P45(x,y) ⇒ E57(y)
"""@en ;
rdfs:domain :E18_Physical_Thing ;
rdfs:range :E57_Material ;
owl:inverseOf :P45i_is_incorporated_in .