at some place within – P171

P171 at some place within

Domain:

crm:E53 Place

Range:

crm:E94 Space Primitive

Quantification:

0,n:0,n

Scope note:

This property describes the maximum spatial extent within which an instance of E53 Place falls. Since instances of E53 Places may not have precisely known spatial extents, the CIDOC CRM supports statements about maximum spatial extents of instances of E53 Place. This property allows an instance of E53 Place’s maximum spatial extent (i.e., its outer boundary) to be assigned an instance of E94 Space Primitive value.

This property is a shortcut of the fully developed path from E53 Place, P89 falls within, E53 Place, P168 place is defined by to E94 Space Primitive through a declarative Place that is not explicitly documented, to a Space Primitive: declarative places are defined in CRMgeo (Doerr and Hiebel 2013).

Examples:

The spatial extent of the Acropolis of Athens (E53) at some place within POLYGON ((37.969172 23.720787, 37.973122 23.721495 37.972741 23.728994, 37.969299 23.729735, 37.969172 23.720787)) (E94).

In First Order Logic:

  • P171(x,y) ⇒ E53(x)
  • P171(x,y) ⇒ E94(y)

Scope notes

Show Scope note Language Namespace View details Comments
This property describes the maximum spatial extent within which an instance of E53 Place falls. Since instances of E53 Places may not have precisely known spatial extents, the CIDOC CRM supports statements about maximum spatial extents of instances of E53 Place. This property allows an instance of E53 Place’s maximum spatial extent (i.e., its outer boundary) to be assigned an instance of E94 Space Primitive value. This property is a shortcut of the fully developed path from E53 Place, P89 falls within, E53 Place, P168 place is defined by to E94 Space Primitive through a declarative Place that is not explicitly documented, to a Space Primitive: declarative places are defined in CRMgeo (Doerr and Hiebel 2013). en CIDOC CRM version 7.1.2 0
Cette propriété décrit l'étendue spatiale maximale à l'intérieur de laquelle une instance de E53_Lieu s'inscrit. Il est possible que des instances de E53_Lieu n'aient pas d'étendues temporelles connues de manière précise. C'est pour cette raison que le CIDOC CRM permet les énoncés portant sur les étendues spatiales maximales d'instances de E53_Lieu. Cette propriété permet l'assignation de la valeur d'une instance de E94_Primitive_spatiale à l'étendue spatiale maximale d'une instance de E53_Lieu (c.-à-d. une frontière externe).Cette propriété est un raccourci du chemin sémantique suivant : E53_Lieu, P89_s'insère_dans, E53_Lieu, P168_lieu_défini_par, E94_Primitive_spatiale. C'est donc un chemin sémantique vers une instance de E94_Primitive_spatiale via un lieu déclaratif (E53_Lieu) qui n'est pas explicitement documenté. Pour en savoir plus sur les lieux déclaratifs et leur définition, voir CRMGeo (Dœrr & Hiebel 2013). fr CIDOC CRM version 7.1.2 0

Examples

Show Example Language Namespace View details Comments
The spatial extent of the Acropolis of Athens (E53) at some place within POLYGON ((37.969172 23.720787, 37.973122 23.721495 37.972741 23.728994, 37.969299 23.729735, 37.969172 23.720787)) (E94). en CIDOC CRM version 7.1.2 0
L'étendue spatiale de l'Acropole d'Athènes (E53_Lieu) se trouve quelque part à l'intérieur (P171_quelque_part_dans) du polygone (37.969172 23.720787, 37.973122 23.721495 37.972741 23.728994, 37.969299 23.729735, 37.969172 23.720787) (E94_Primitive_spatiale) fr CIDOC CRM version 7.1.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P171

Official URI: http://www.cidoc-crm.org/cidoc-crm/P171_at_some_place_within
OntoME URI: https://ontome.net/ontology/p1899

Domain and range

crm:E53 Place → P171 at some place within → crm:E94 Space Primitive  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
at some place within * en 2022-06-13 0
quelque part dans * fr 2024-03-21 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.2 2022-06-13

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments