(note TQG27)  ;; boolean version

;; KappaFn translation.

(instance Planet27-1 Class)
(subclass Planet27-1 AstronomicalBody)

(instance Object27-1 (KappaFn ?PLANET (and (instance ?PLANET Planet27-1) (attribute ?PLANET Earthlike))))

(query (instance Object27-1 Planet27-1))

(answer yes)


;; Fails, requires HOL