Dear All,
Here my improved version
P170 defines time (time is defined by)
Domain: E61 <#_E61_Time_Primitive>Time Primitive
Range: E52 <#_E53_Place> Time Span
Quantification:many to one, necessary, dependent (0,1:0,n)
Scope note:This property associates an instance of E61 Time Primitive
with the instance of E52 <#_E53_Place> Time-Span that constitutes the
interpretation of the terms of the time primitive as an extent in
absolute, real time.
In First Order Logic:
P170(x,y) ⊃E61(x)
P170(x,y) ⊃E52(y)
--
------------------------------------
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
