(note TQG35)  ;; boolean version
(time 300)
;; Temporal reasoning.

(instance TimePoint35-1 TimePoint)
(instance TimeInterval35-1 TimeInterval)
(instance TimeInterval35-2 TimeInterval)
(temporalPart TimePoint35-1 TimeInterval35-1)
(during TimeInterval35-1 TimeInterval35-2)

; temporalPart is a partial ordering relation and partial orderings are transitive

(query (temporalPart TimePoint35-1 TimeInterval35-2))

(answer yes)

; key SUMO axioms
;(=>
;    (during ?SMALL ?BIG)
;    (temporalPart ?SMALL ?BIG))
  
; transitivity of temporalPart