:P172_contains leaf node

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P172_contains a rdf:Property ;
    rdfs:label "contains"@en,
        "contient"@fr,
        "содeржит"@ru ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property describes a minimum spatial extent which is contained within an instance of E53 Place. Since instances of E53 Place may not have precisely known spatial extents, the CIDOC CRM supports statements about minimum spatial extents of instances of E53 Place. This property allows an instance of E53 Place’s minimum spatial extent (i.e., its inner boundary or a point being within a Place) to be assigned an instance of E94 Space Primitive value. 
This property is a shortcut of the fully developed path from E53 Place, P89i contains, E53 Place, P168 place is defined by to E94 Space Primitive.

Examples:
- The spatial extent of the Acropolis of Athens (E53) contains POINT (37.971431 23.725947) (E94).

In First Order Logic:
- P172(x,y) ⇒ E53(x)
- P172(x,y) ⇒ E94(y)
- P172(x,y) ⇔ (∃z) [E53(z) ˄ P89i(x,z) ˄ P168(z,y)]
"""@en ;
    rdfs:domain :E53_Place ;
    rdfs:range rdfs:Literal .