has former or current location – P53

P53 has former or current location

Domain:

E18 Physical Thing

Range:

E53 Place

Subproperty of:

Superproperty of:

Quantification:

No quantifiers yet.

Scope note:

This property allows an instance of E53 Place to be associated as the former or current location of an instance of E18 Physical Thing. In the case of E19 Physical Objects, the property does not allow any indication of the Time-Span during which the Physical Object was located at this Place, nor if this is the current location. In the case of immobile objects, the Place would normally correspond to the Place of creation. P53 has former or current location (is former or current location of) is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path from E19 Physical Object through P25 moved (moved by), E9 Move, P26 moved to (was destination of) or P27 moved from (was origin of) to E53 Place.

Examples:

No example yet.

In First Order Logic:

  • P53(x,y) ⊃ E18(x)
  • P53(x,y) ⊃ E53(y)
  • P53(x,y) ⊃ topObjectProperty(x,y)

Scope Notes

Show Scope note Language Namespace View details and comments
This property allows an instance of E53 Place to be associated as the former or current location of an instance of E18 Physical Thing. In the case of E19 Physical Objects, the property does not allow any indication of the Time-Span during which the Physical Object was located at this Place, nor if this is the current location. In the case of immobile objects, the Place would normally correspond to the Place of creation. P53 has former or current location (is former or current location of) is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path from E19 Physical Object through P25 moved (moved by), E9 Move, P26 moved to (was destination of) or P27 moved from (was origin of) to E53 Place. en WIP

Examples

Show Example Language Namespace View details and comments

Additional notes

Show Notes Language Namespace View details and comments

Namespace

Namespace URI Last updated
http://dataforhistory.org/imported_ontology/cidoc-crm/base/6/2/ 2019-03-28

Parent properties

Property identifier Justification Root namespace View association
topObjectProperty http://dataforhistory.org/imported_ontology/owl/

Ancestor properties

Property identifier Depth Root namespace

Childs and descendant properties

Property identifier Depth Root namespace
P55 has current location 1 CIDOC CRM

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments