Dear All,
I propose the following redefinition of O7:
O7 confines(is confined by)//
Domain: S20 <#_S20_Rigid_Physical> Rigid Physical Feature
Range: S10 <#_S10_Material_Substantial>Material Substantial
Quantification:many to many (0,n:0,n)
Scope note:This property associates an instance of S20
<#_S20_Rigid_Physical> Rigid Physical Featurethat partially or
completely confines an instance of S10
<#_S10_Material_Substantial>Material Substantial.It describes cases in
which rigid features such as stratigraphic layers, walls, dams,
riverbeds, etc. form the boundaries of some item such as another
stratigraphic layer or the river water .
In First Order Logic:
O7(x,y) ⊃S20(x)
O7(x,y) ⊃S10(y)
The previous cryptic formulation as places is not adequate after
introducing S20. Example missing. The property comes from the geological
definition of bodies of water.
--
--------------------------------------------------------------
Dr. Martin Doerr | Vox:+30(2810)391625 |
Research Director | Fax:+30(2810)391638 |
| Email: [email protected] |
|
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 |
--------------------------------------------------------------
