:P45_consists_of leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P45_consists_of

Type

rdf:Property

Label

consists of

Description

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)

Usage

DOMAINPROPERTYRANGE
:E18_Physical_Thing :P45_consists_of :E57_Material

Implementation

@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 .