(note TQPARTROW2)
(category general)

(partition Organism25-Test Animal Plant Fungus Microorganism)

(instance Obj25-Test Organism25-Test)
(not (instance Obj25-Test Animal))
(not (instance Obj25-Test Fungus))
(not (instance Obj25-Test Microorganism))

(=>
  (and
    (partition ?C @ROW)
    (instance ?X ?C))
  (exists (?SUBCLASS)
    (and
      (inList ?SUBCLASS (ListFn @ROW))
      (instance ?X ?SUBCLASS))))

(query
  (instance Obj25-Test Plant))

(answer yes)