Dear All,
I suggest we interpret "overlaps" and "is separated from" as primitives, without modelling a spacetime volume as a point set.I added to the scope note that both properties may have causal justifications,
such as a shared wall, where we cannot decide who's it is.
It means that from NOT P132 we cannot infer P133 and vice versa.
--
--------------------------------------------------------------
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 |
--------------------------------------------------------------
MD_GB(HW)#P132 _P133 .docx
Description: MS-Word document
