:P45i_is_incorporated_in leaf node

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

:P45i_is_incorporated_in a rdf:Property ;
    rdfs:label "ist enthalten in"@de,
        "είναι ενσωματωμένος/η/ο σε"@el,
        "is incorporated in"@en,
        "est inclus dans"@fr,
        "está presente em"@pt,
        "входит в состав"@ru,
        "结合在"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
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 of the inverse property:
- Silver cup 232 (E22) consists of silver (E57). (fictitious)

In First Order Logic of the inverse property:
- P45(x,y) ⇒ E18(x)
- P45(x,y) ⇒ E57(y)
"""@en ;
    rdfs:domain :E57_Material ;
    rdfs:range :E18_Physical_Thing ;
    owl:inverseOf :P45_consists_of .