Issue 464: P172 quantification

Posted by Martin on 20/1/2020

Dear All,
Should be

Quantification:    many to many (0,n:0,n)"

P172 contains

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

Examples:         

§  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)