[Message with no subject]

hori@trl.ibm.co.jp

Mail folder: Ontolingua Mail
Next message: Luc YRIARTE: "1-bug 2-translator"
Previous message: Luc YRIARTE: ""
In-reply-to: Luc YRIARTE: ""

From: hori@trl.ibm.co.jp
Message-id: <9502221008.AA36691@ns.trl.ibm.com>
To: Luc YRIARTE <yriarte@lirmm.fr>
Cc: ontolingua@hpp.stanford.edu
In-reply-to: Your message of "Wed, 22 Feb 1995 10:52:49 +0100."
             <199502220952.KAA24079@lirmm.lirmm.fr> 
Date: Wed, 22 Feb 1995 19:08:52 +0900

>>      I believe there must be a bug in this relation MEETS from the Jat-generic
>> Ontology :
>> 
>> (define-relation MEETS (?tr1 ?tr2)
>>     "a time range ?tr1 ends at the same time a time range ?tr2 starts."
>>     :iff-def (tp= (time-range.start-time ?tr1)
>>                   (time-range.start-time ?tr2))
>> )
>> 
>>      Should be:
>> 
>> (define-relation MEETS (?tr1 ?tr2)
>>     "a time range ?tr1 ends at the same time a time range ?tr2 starts."
>>     :iff-def (tp= (time-range.end-time ?tr1)
>>                   (time-range.start-time ?tr2))
>> )
>>

Thanks for your notification. 
MEETS should be exactly as you specified.

M. Hori