Dear All,
We just observed that the FOL statements of P89 should also contain the
formulation that both places need to be at rest to each other (i.e.,
fall into the same geometric system). This needs to be checked for all
place to place relations.
On 2/1/2024 9:04 PM, Martin Doerr via Crm-sig wrote:
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
--
------------------------------------
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
