Dear all, maybe reconsider this piece of HW given the concerns voiced by Thanasis?
best E On Sun, Feb 4, 2024 at 5:23 PM Athanasios Velios via Crm-sig < crm-sig@ics.forth.gr> wrote: > In version 7.2.3 (if I have the correct file in front of me) we have > already added the following: > > "This property is a part of the fully developed path from E93 Presence > through P161 has spatial projection, E53 Place, P89 falls within > (contains) to E53 Place." > > This is the path from E93 Presence instead of E4 Period (both being > subclasses of E92 Spacetime Volume). > > If it applies to both E4 and E93, should we push it a step up to E92 > Spacetime Volume which actually owns P161 has spatial projection in the > first place? > > All the best, > > Thanasis > > On 02/02/2024 14:15, Martin Doerr via Crm-sig wrote: > > 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 > _______________________________________________ > Crm-sig mailing list > Crm-sig@ics.forth.gr > http://lists.ics.forth.gr/mailman/listinfo/crm-sig > -- Eleni Tsouloucha Philologist - MA Linguistics & Language Technologies Center for Cultural Informatics Information Systems Laboratory - Institute of Computer Science Foundation for Research and Technology - Hellas (FORTH) Address: N. Plastira 100, GR-70013 Heraklion, Grece email: tsoulo...@isc.forth.gr, eleni.crm....@gmail.com Tel: +30 2810391488
_______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig