(note TQG15)
(instance Time15-1 TimeInterval)
(instance Time15-2 TimeInterval)
(meetsTemporally Time15-1 Time15-2)

;(=>
;  (meetsTemporally ?T1 ?T2)
;  (not
;    (exists (?T3)
;      (and
;        (temporalPart ?T3 ?T1)
;        (temporalPart ?T3 ?T2)))))

;(<=>
;    (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
;    (exists (?INTERVAL3)
;        (and
;            (instance ?INTERVAL3 TimeInterval)
;            (temporalPart ?INTERVAL3 ?INTERVAL1)
;            (temporalPart ?INTERVAL3 ?INTERVAL2))))

;(domain overlapsTemporally 1 TimeInterval)
;(domain overlapsTemporally 2 TimeInterval)
;(instance overlapsTemporally BinaryPredicate)

;(domain meetsTemporally 1 TimeInterval)
;(domain meetsTemporally 2 TimeInterval)
;(instance meetsTemporally BinaryPredicate)

;(domain temporalPart 1 TimePosition)
;(domain temporalPart 2 TimePosition)

(query (not (overlapsTemporally Time15-1 Time15-2)))
(answer yes)