(note TQG6)  ;; boolean version

(time 60)

(instance Object6-1 Substance)
(instance Object6-2 Substance)
(instance Object6-3 Substance)

(piece Object6-1 Object6-2)

(piece Object6-2 Object6-3)

(query (part Object6-1 Object6-3))

(answer yes)
;; works in tinySUMO, Merge.kif, Merge+MILO

;; (solutionAxiom (subclass Substance Object))

;; (solutionAxiom
;;   (forall (?INST1 ?INST2 ?INST3) 
;;     (=> 
;;       (and 
;;         (instance ?INST2 Object) 
;;         (instance ?INST1 Object) 
;;         (instance ?INST3 Object)) 
;;       (=> 
;;         (and 
;;           (part ?INST1 ?INST2) 
;;           (part ?INST2 ?INST3)) 
;;         (part ?INST1 ?INST3)))))

;; (solutionAxiom
;;   (=> 
;;     (and 
;;       (instance ?ROW1 Substance) 
;;       (instance ?ROW2 Substance)) 
;;     (=> 
;;       (piece ?ROW1 ?ROW2) 
;;       (part ?ROW1 ?ROW2))))