place is defined by – P168

P168 place is defined by

Domain:

Quantification:

No quantifiers yet.

Scope note:

This property associates an instance of E53 Place with an instance of E94 Space Primitive that defines it. Syntactic variants or use of different scripts may result in multiple instances of E94 Space Primitive defining exactly the same place. Transformations between different reference systems in general result in new definitions of places approximating each other and not in alternative definitions. Note that it is possible for a place to be defined by phenomena causal to it or other forms of identification rather than by an instance of E94 Space Primitive. In this case, this property must not be used for approximating the respective instance of E53 Place with an instance of E94 Space Primitive.

Examples:

No example yet.

In First Order Logic:

  • P168(x,y) ⊃ E53(x)
  • P168(x,y) ⊃ E94(y)
  • P168(x,y) ⊃ topObjectProperty(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property associates an instance of E53 Place with an instance of E94 Space Primitive that defines it. Syntactic variants or use of different scripts may result in multiple instances of E94 Space Primitive defining exactly the same place. Transformations between different reference systems in general result in new definitions of places approximating each other and not in alternative definitions. Note that it is possible for a place to be defined by phenomena causal to it or other forms of identification rather than by an instance of E94 Space Primitive. In this case, this property must not be used for approximating the respective instance of E53 Place with an instance of E94 Space Primitive. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Domain and range

E53 Place → P168 place is defined by → E94 Space Primitive

Labels

Label Language Last updated View details Comments
place is defined by en 2018-09-14 0

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2019-03-28

Parent properties

Property identifier Justification Root namespace View association
topObjectProperty The OWL 2 Schema vocabulary

Ancestor properties

Property identifier Depth Root namespace

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments