TQG42.kif.tq

(note TQG42)  ;; boolean version

;; Predicate introduction.

(instance testPred42-1 QuaternaryPredicate)
(domain testPred42-1 1 Entity)
(domain testPred42-1 2 Entity)
(domain testPred42-1 3 Entity)
(domain testPred42-1 4 Entity)
(instance Entity42-1 Entity)
(instance Entity42-2 Entity)
(instance Entity42-3 Entity)
(instance Entity42-4 Entity)
(instance Entity42-5 Entity)

(query (not (testPred42-1 Entity42-1 Entity42-2 Entity42-3 Entity42-4 Entity42-5)))

(answer yes)


;; This test fails because there is no axiomatic support for
;; concluding that a QuaternaryPredicate cannot have five arguments.