           p2-name (:Name (:atom p2-type))
           p1-data (:Data p1-type)
           p2-data (:Data p2-type)]
-      (and (= p1-name (:super p2-data))
+      (and (= p1-name (:super p2-data))                     ; FIXME Yumzia modal logic
            (= p2-name (:sub p1-data))))))
 
 (defn iyye_is_type_function [p1-types p2-types]


(defn- init-db-kb []
  (let []
      (dosync (alter words/action-words #(apply conj %1 %2) (persistence/read-knowledge-from-db "relations" {:When :ALWAYS})))
      (dosync (alter words/noun-words #(apply conj %1 %2) (persistence/read-knowledge-from-db "types" {:When :ALWAYS})))
      ; others
    ))


    (dosync (ref-set iyye_is_type t_is))
    (dosync (ref-set iyye_consists_type consistsof))
    (dosync (ref-set iyye_create_instance instof))
    (dosync (alter words/action-words conj (create-entry t_is) (create-entry t_is2) (create-entry consistsof) (create-entry instof)))))

(defn- apply-builtin-relations []
  (do
