crm:P150_defines_typical_parts_of leaf node

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P150_defines_typical_parts_of a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "P150 defines typical parts of"@en ;
    rdfs:comment """Scope note: 
The property “broaderPartitive” 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. This is the sense of "broader term partitive (BTP)" as defined in ISO 2788 and “broaderPartitive” in SKOS.

Examples:
- Car motors (E55) defines typical parts of cars (E55)

In First Order Logic:
P150(x,y) ⊃ (E55 Type)
P150(x,y) ⊃ E55(y)"""^^xsd:string ;
    rdfs:domain crm:E55_Type ;
    rdfs:range crm:E55_Type ;
    owl:equivalentProperty ecrm:P150_defines_typical_parts_of ;
    owl:inverseOf crm:P150i_defines_typical_wholes_for ;
    skos:notation "P150"^^xsd:string .