:P150i_defines_typical_wholes_for 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#> .

:P150i_defines_typical_wholes_for a rdf:Property ;
    rdfs:label "defines typical wholes for"@en,
        "définit l’ensemble typique pour"@fr,
        "опрeдeляeт совокупность"@ru ;
    rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates an instance of E55 Type “A” with an instance of E55 Type “B”, when items of type “A” typically form part of items of type “B”, such as “car motors” and “cars”. 
It allows types to be organised into hierarchies based on one type describing a typical part of another. This property is equivalent to “broader term partitive (BTP)” as defined in ISO 2788 and “broaderPartitive” in SKOS.
This property is not transitive. This property is asymmetric.

Examples of the inverse property:
- car motors (E55) defines typical parts of cars (E55). (fictitious)

In First Order Logic of the inverse property:
- P150(x,y) ⇒ E55(x)
- P150(x,y) ⇒ E55(y)
- P150(x,y) ⇒ ¬P150(y,x)
"""@en ;
    rdfs:domain :E55_Type ;
    rdfs:range :E55_Type ;
    owl:inverseOf :P150_defines_typical_parts_of .