Dear All,
Here my proposed scope note for a shortcut between E93 Presence and E18
Physical Thing, as proposed by Christian-Emil in the October Meeting in
Heraklion 2019:
Pxxy was a presence of (had presence)
Domain: E93 <#_E93_Spacetime_Snapshot> Presence
Range: E18 Physical Thing
Quantification: (0,1 : 0,n)
Scope note: This property associates an instance of E93 Presence with an
instance of E18 Physical Thing of which it represents a temporal
restriction (i.e.: a time-slice). It is a shortcut of the more fully
developed path from E93 Presence through P166 was a presence of E92
Spacetime Volume, Pxxxi is defined by to E18 Physical Thing.
Instantiating either this property or directly Pxxx is defined by
constitutes a necessary part of the identity of the respective instance
of E93 Presence.
In First Order Logic:
Pxxy(x,y) ⊃ E93(x),
Pxxy(x,y) ⊃ E18(y),
Pxxy(x,y) = [E93(x) ∧ E18(y) ∧ P166(x,z) ∧ Pxxx(y,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
Vox:+30(2810)391625
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