PatH,
 There is an axiom provide by you during this thread which I would like to
clarify:  (01)
 >> (forall (x (t Time) P)(iff (P x t)(P (x during t)) ))  (02)
 I have not seen the two different syntactic expressions:
 (P x t) and (P (x during t))
 Used together before. The first suggests a 3D perspective, and the second
suggests a 4D perspective.  (03)
 How would you describe the type that "x" belongs to?  (04)
 The way it is used in those expressions, it looks a lot like the
"dimension neutral object" that I suggested as a way of providing both 3D
and 4D perspectives in the same ontology. In my case, however, I did not
use the (x during t) expression, but created a type "TimeSlice" so that
time-slices (any temporal length) of 4D objects could be expressed in an OWL
formalism.  (05)
 Is there a documentation somewhere that additionally explains the
intended meaning and use of that type (of which "x" is an instance)?  (06)
Pat  (07)
Patrick Cassidy
MICRA, Inc.
908-561-3416
cell: 908-565-4053
cassidy@xxxxxxxxx  (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx  (09)