[Crm-sig] Issue 524

Martin Doerr martin at ics.forth.gr
Sun Jun 13 18:53:48 EEST 2021

Dear All,

Here my trial at the FOL for O19, O21. I suggest the encountered object 
may be larger than the part encountered.

O21 encountered at (witnessed encounter)

Domain: S19 Encounter Event

Range: E53 Place

Quantification:   many to many, necessary (1,n:0,n)

Scope note:         This property associates an instance of S19 
Encounter Event with an instance of E53 Place at which the things, which 
were encountered, were observed to be present. This may be given in 
absolute terms or in terms relative to the observed thing. The 
associated place must be within the boundaries of the E53 Place at which 
the S19 Encounter Event took place, if that has been given. *Note, that 
the encountered object may be larger and extend beyond the place of 
encounter, such as a corner of a building being excavated.*


§  The “urn:catalog:IOL:POLY:Sphaerosyllis-levantina-ALA-IL-7-Oct.2009” 
(S19) has found at Haifa Bay (E53).

In First Order Logic:

O21(x,y) ⇒  S19(x)

O21(x,y) ⇒  E53(y)

O21(x,y) ⇒ (∃z)[ E53(z) ∧ P161(x,z) ∧ P89(y,z)]

                            O21(x,y) ⇒ (∃z,v,w)[ E93(w) ∧  E18(z) ∧ 
E52(v) ∧ O19(x,z) ∧ P195(w,z) ∧ P4(x,v) ∧ P164(w,v) ∧ P197(w,y)]

  In words:

There exists a place z which is the spatial projection P161 of the 
encounter event S19, and contains P89i the place of encounter.

The presence E93 of P195 the encountered object O19 at the time E52 of 
P4 the encounter P197 covered parts of (or P167 was within ) the place 
of encounter.

*And O19:*

                            O19(x,y) ⇒  S19(x)

O19(x,y) ⇒  E18(y)

         O19(x,y) ⇒ (∃z)[ E53(z) ∧  O21(x,z)]



  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: martin at ics.forth.gr
  Web-site: http://www.ics.forth.gr/isl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20210613/f86b6537/attachment-0001.html>

More information about the Crm-sig mailing list