Issue 464: P172 quantification
Posted by Martin on 20/1/2020
Quantification: many to many (0,n:0,n)"
Domain: E53 Place
Range: E94 Space Primitive
Scope note: This property describes a minimum spatial extent which is contained within an instance of E53 Place. Since instances of E53 Place may not have precisely known spatial extents, the CIDOC CRM supports statements about minimum spatial extents of instances of E53 Place. This property allows an instance of E53 Places’s minimum spatial extent (i.e. its inner boundary or a point being within a Place) to be assigned an instance of E94 Space Primitive value.
This property is a shortcut of the fully developed path: E53 Place, P89i contains, E53 Place, P168 place is defined by, E94 Space Primitive
§ the spatial extent of the Acropolis of Athens (E53) contains POINT (37.971431 23.725947) (E94)
In First Order Logic:
P172(x,y) ⊃ E53(x)
P172(x,y) ⊃ E94(y)
In the 46th joint meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9; 39th FRBR - CIDOC CRM Harmonization meeting; in the context of the issue 472: quantification of P169, P170, P171, P172, the sig accepted the proposed Quantification : (0,n:0,n).
The issue closed
Athens, February 2020