The “However, ” implies that this is an exception to the statement “It addresses spatial containment only and does not imply any relationship between things or phenomena occupying these places.”, which it is not. I would suggest that this is removed: so the addition reads:- 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.
Stephen Stead Mob: +44 (0)7802 755 013 ste...@paveprime.com From: Crm-sig <crm-sig-boun...@ics.forth.gr> On Behalf Of Martin Doerr via Crm-sig Sent: Thursday, February 1, 2024 7:05 PM To: crm-sig <Crm-sig@ics.forth.gr> Subject: [Crm-sig] Issue 656 Homework Dear all, I suggest the following addition to the scope note of P89, in yellow: P89 falls within (contains) Domain: E53 Place Range: E53 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<mailto: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