P167 was within (includes) in version 7.1.1

Domain:
E93 Presence
Range:
E53 Place
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
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 Winkelmann’s whereabouts in December 1755 (E93) was within Rome (E53). (Leppmann, 1970)
  • Johann Joachim Winkelmann’s whereabouts from 19th November 19 1755 until 9th 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)]