[Crm-sig] ISSUE P172 quantification

Martin Doerr martin at ics.forth.gr
Mon Jan 20 19:21:08 EET 2020

Dear All,

Should be

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

      P172 contains

Domain: E53 <#_E53_Place>Place

Range: E94 <#_E94_Space_Primitive>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)[e1]


[e1] <#_msoanchor_1>added

  Dr. Martin Doerr
  Honorary Head of the
  Center for Cultural Informatics
  Information Systems Laboratory
  Institute of Computer Science
  Foundation for Research and Technology - Hellas (FORTH)
  N.Plastira 100, Vassilika Vouton,
  GR70013 Heraklion,Crete,Greece
  Email: martin at ics.forth.gr
  Web-site: http://www.ics.forth.gr/isl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20200120/94b7ce0b/attachment.html>

More information about the Crm-sig mailing list