P53 has former or current location (is former or current location of) in version 7.1.1

Domain:
E18 Physical Thing
Range:
E53 Place
Subproperty of:
No subproperties found
Superproperty of:
E19 Physical Object. P55 has current location (currently holds): E53 Place, E18 Physical Thing. P156 occupies (is occupied by): E53 Place
Quantification:
many to many,necessary (1,n,0,n)
Scope Note:

This property identifies an instance of E53 Place as the former or current location of an instance of E18 Physical Thing.

In the case of instances of E19 Physical Object, the property does not allow any indication of the Time-Span during which the instance of E19 Physical Object was located at this instance of E53 Place, nor if this is the current location.

In the case of immobile objects, the Place would normally correspond to the Place of creation.

This property is a shortcut. A more detailed representation can make use of the fully developed (i.e., indirect) path from E19 Physical Object, though, P25i moved by, E9 Move, P26 moved to or P27 moved from to E53 Place.

Examples:
  • Silver cup 232 (E22) has former or current location Display Case 4, Room 23, Museum of Oxford (E53) (fictitious)
In First Order Logic:
P53(x,y) ⇒ E18(x), P53(x,y) ⇒ E53(y), P53(x,y) ⇐ (∃z) [E9(z) ˄ P25i(x,z) ˄ [P26(z,y) ˅ P27(z,y)]]