;; https://www.cosy.informatik.uni-bremen.de/sites/default/files/ByrneJohnson-Laird89.pdf
;;
;; (1) A is on the right of B
;;     C is on the left of B
;;     Hence, A is on the right of C

(note SP01)
(time 240)

(instance A Object)
(instance B Object)
(instance C Object)

(orientation A B Right)
(orientation C B Left)

;; Not in SUMO. Orientation is transitive respecting the same
;; PositionalAttribute
(=>
  (and
    (orientation ?X ?Y ?R)
    (orientation ?Y ?Z ?R))
  (orientation ?X ?Z ?R))

;; it needs from Merge.kif
;; (<=>
;;     (orientation ?OBJ1 ?OBJ2 Right)
;;     (orientation ?OBJ2 ?OBJ1 Left))


(query (orientation A C Right))

(answer yes)