           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]

    (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 t_is t_is2 consistsof instof))))


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


(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
    ))

