place is defined by – P168

P168 place is defined by

Domain:

E53 Place

Range:

E94 Space Primitive

Subproperty of:

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

Identifier : P168

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

: Standard label for this language

Namespace

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

Parent properties

Domain Property Range Justification Root namespace View association
Thing topObjectProperty Thing The OWL 2 Schema vocabulary

Ancestor properties

Domain Property Range Depth Root namespace

Childs and descendant properties

Domain Property Range Depth Root namespace

Related properties

Relation Property Justification Defined in namespace View details

Profiles using this class

Label Start date End date Last updated

Comments