crm:P43_has_dimension 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:P43_has_dimension a owl:ObjectProperty ;
    rdfs:label "P43 has dimension"@en ;
    rdfs:comment """Scope note:
This property records a E54 Dimension of some E70 Thing.
It is a shortcut of the more fully developed path from E70 Thing through P39 measured (was measured by), E16 Measurement P40 observed dimension (was observed in) to E54 Dimension. It offers no information about how and when an E54 Dimension was established, nor by whom.

An instance of E54 Dimension is specific to an instance of E70 Thing.

Examples:
- silver cup 232 (E22) has dimension height of silver cup 232 (E54) has unit (P91) mm (E58), has value (P90) 224 (E60)

In First Order Logic:
P43(x,y) ⊃ E70(x)
P43(x,y) ⊃ E54(y)"""@en ;
    rdfs:domain crm:E70_Thing ;
    rdfs:range crm:E54_Dimension ;
    owl:equivalentProperty ecrm:P43_has_dimension ;
    owl:inverseOf crm:P43i_is_dimension_of ;
    skos:notation "P43"^^xsd:string .