(note TQG25)  ;; boolean version
(category general)

;; Case elimination.
;; uses from Merge.kif - (partition Organism Animal Plant Fungus Microorganism)

(instance Organism25-1 Organism)
(not (instance Organism25-1 Microorganism))
(not (instance Organism25-1 Animal))
(not (instance Organism25-1 Fungus))

(query (instance Organism25-1 Plant))

(answer yes)

;; Fails, need an axiom to capture process of elimination