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.*
Examples:
§ 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)]
Best,
Martin
--
------------------------------------
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
Vox:+30(2810)391625
Email: [email protected]
Web-site: http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
[email protected]
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
