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

:P167_was_within a rdf:Property ;
    rdfs:label "was within"@en,
        "s’inscrivait dans"@fr,
        "был в прeдeлах"@ru ;
    rdfs:comment """Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property associates an instance of E93 Presence with an instance of E53 Place that geometrically includes the spatial projection of the respective instance of E93 Presence. Besides others, this property may be used to state in which space an object has been for some known time, such as a room of a castle or in a drawer. It may also be used to describe a confinement of the spatial extent of some realm during a known time-span. 
This property is a shortcut of the more fully developed path from E93 Presence through P161 has spatial projection, E53 Place, P89 falls within (contains) to E53 Place.

Examples:
- Johann Joachim Winckelmann’s whereabouts in December 1755 (E93) was within Rome (E53). (Leppmann, 1970)
- Johann Joachim Winckelmann’s whereabouts from 19(th) November 1755 until 9(th) April 1768 (E93) was within Italy (E53). (Leppmann, 1970)

In First Order Logic:
- P167(x,y) ⇒ E93(x)
- P167(x,y) ⇒ E53(y)
- P167(x,y) ⇔ (∃z) [E53(z) ˄ P161(x,z) ˄ P89(z,y)]
"""@en ;
    rdfs:domain :E93_Presence ;
    rdfs:range :E53_Place ;
    owl:inverseOf :P167i_includes .