;; Self-contained SUO-KIF file extracted from
;;
;; https://github.com/ontologyportal/sumo/blob/master/Transportation.kif
;;
;; containing knowledge about `routeBetween`.

NEXT

;; Add instances of `routeBetween`, extracted from
;;
;; https://github.com/ontologyportal/sumo/blob/master/tests/SP26.kif.tq
;;
;; to test it.

(instance MountainViewCA City)
(instance MenloParkCA City)

(=>
    (and
      (routeBetween ?VAR2 ?VAR1 ?VAR3)
      (instance ?VAR2 BidirectionalTransitway))
    (routeBetween ?VAR2 ?VAR3 ?VAR1))

(subclass BidirectionalTransitway Transitway)

(exists (?R)
  (and
    (instance ?R BidirectionalTransitway)
    (routeBetween ?R MountainViewCA MenloParkCA)))

;; An example of query would be
;;
;; (query (routeBetween ?X MenloParkCA MountainViewCA))