Here my draft, examples missing:
P166 was a presence of (had presence)
Domain:E93 <#_E93_Spacetime_Snapshot>Presence
Range:E92 <#_E91_Co-Reference_Assignment> Spacetime Volume
Subproperty of:E92 <#_E91_Co-Reference_Assignment>Spacetime Volume.P10
<#_P10_falls_within_%28contains%29>falls within (contains): E92
<#_E91_Co-Reference_Assignment>Spacetime Volume
Quantification: (1,1 : 0,n)
Scope note:This property associates an instance of E93 Presence with the
instance of E92 Spacetime Volume of which it represents a temporal
restriction. Instantiating this property constitutes a necessary part of
the identity of the respective instance of E93 Presence.
In First Order Logic:P166(x,y) ⊃E93(x),P166(x,y) ⊃E92(y),P166(x,y) ⊃
P10(x,y)
P167 at (was place of)
Domain:E93 <#_E93_Spacetime_Snapshot>Presence
Range:E53 <#_E53_Place> Place
Quantification:
Scope note:This property associates an instance of E93 Presence with an
instance of E53 Place that geometrically includes the spatial projection
of the respective instance of E93 Presence. Besides others, this
property may be used to state in which space an object has been for some
known time, such as a room in a castle or a drawer in storage case. It
may also be used to describe a confinement of the spatial extent of some
realm during a known time-span. It is a shortcut of the more fully
developed path from E93 Presence through /P161 has spatial projection/,
E53 Place,/P89 falls within (contains)/to E53 Place.
In First Order Logic:P167(x,y) ⊃E93(x),P167(x,y) ⊃E53(y), P167(x,y) ⊃
($z)[ E53(z) ∧ P161(x,z) ∧ P89(z,y)]
--
--------------------------------------------------------------
Dr. Martin Doerr | Vox:+30(2810)391625 |
Research Director | Fax:+30(2810)391638 |
| Email: mar...@ics.forth.gr |
|
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 |
|
Web-site: http://www.ics.forth.gr/isl |
--------------------------------------------------------------
