Dear all,
I suggest the following addition to the scope note of P89, in yellow:
P89 falls within (contains)
Domain:
E53 <#_toc8104> Place
Range:
E53 <#_toc8104> Place
Quantification:
many to many, necessary, dependent (1,n:0,n)
Scope note:
This property identifies an instance of E53 Place that falls wholly
within the extent of another instance of E53 Place.
It addresses spatial containment only and does not imply any
relationship between things or phenomena occupying these places.
However, this property is also part of the fully developed path implied
by P7 /took place at (witnessed), /from E4 Period through P161 has
spatial projection, E53 Place, P89 falls within to E53 Place, where both
places are defined in the same geometric system.
This property is transitive and reflexive.
Examples:
The area covered by the World Heritage Site of Stonehenge (E53) /falls
within/ the area of Salisbury Plain (E53). (Pryor, 2016)
In first-order logic:
P89(x,y) ⇒E53(x)
P89(x,y) ⇒E53(y)
[P89(x,y) ∧P89(y,z)] ⇒ P89(x,z)
P89(x,x)
--
------------------------------------
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:mar...@ics.forth.gr
Web-site:http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig