Accepted!
But, it seems it should be:
"This property identifies an instance of E53 Place that falls wholly
within the extent of another instance of E53 Place, where both places
are defined in the same geometric system, i.e. they are at rest to each
other.
It addresses spatial containment only and does not imply any
relationship between things or phenomena occupying these places.
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.
This property is transitive and reflexive.
in FOL:
P89(x,y) ⇒(∃u) [E18(u) ⋀P157(x,u) ⋀P157(y,u)]
Then we can simplify the FOL of P7, and add the above FOL to P121,122,189
Best,
Martin
On 2/2/2024 12:28 PM, Stephen Stead wrote:
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 <#_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
--
------------------------------------
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