                    (create-entry yumzya)))))
 
 (defn- init-builtin-relations []
-  (let [t_is (create-iyye-builtin-relation "type" ["type" "?" "predicate"] iyye_is_type_function_relation iyye_is_type_predicate_function)
+  (let [t_is (create-iyye-builtin-relation "type" ["type" "?"] iyye_is_type_function_relation iyye_is_type_predicate_function)
         ;t_is2 (create-iyye-builtin-relation "is" [:UNKNOWN "type"] iyye_is_type_create_function iyye_is_type_predicate_function)
         ;  consistsof (create-iyye-builtin-relation "has" [] iyye_consists_function iyye_is_type_predicate_function)
         ;instof (create-iyye-builtin-relation "instance" ["type"] iyye_instance_function iyye_is_type_predicate_function)

    (dosync (alter words/builtin-words conj (create-entry t_is)))))

(defn- init-builtin-verbs []
  (let [t_is (create-iyye-builtin-verb "is" ["relation" "*"] "relation" iyye_is_type_function)
        t_is? (create-iyye-builtin-query "is?" ["relation" "type" "?"] iyye_is_predicate_function)
        ;t_is2 (create-iyye-builtin-relation "is" [:UNKNOWN "type"] iyye_is_type_create_function iyye_is_type_predicate_function)
        consistsof (create-iyye-builtin-verb "has" ["type" "*"] "relation" iyye_consists_function)
        ;instof (create-iyye-builtin-relation "instance" ["type"] iyye_instance_function iyye_is_type_predicate_function)

        f (get-function @iyye_is_type)]
        (when f
          (do
            (f [(words/->Iyye_ModalPredicate :IYE :AXIOM (persistence/local-time-to-string) :ALWAYS)
                (get-type @iyye_is_type_rel) (get-type @iyye_ai) (get-type @iyye_actor)])
            (f [(words/->Iyye_ModalPredicate :IYE :AXIOM (persistence/local-time-to-string) :ALWAYS)
                (get-type @iyye_is_type_rel) (get-type @iyye_human) (get-type @iyye_actor)])
            (f [(words/->Iyye_ModalPredicate :IYE :AXIOM (persistence/local-time-to-string) :ALWAYS)
                (get-type @iyye_is_type_rel) (get-type @iyye_iyye) (get-type @iyye_ai)])
            (f [(words/->Iyye_ModalPredicate :IYE :AXIOM (persistence/local-time-to-string) :ALWAYS)
                (get-type @iyye_is_type_rel) (get-type @iyye_yumzya) (get-type @iyye_human)])))))

(defn- init-builtins-kb []
  (init-builtin-words)
  (init-builtin-verbs)
  (init-builtin-relations)
  (apply-builtin-relations))

;(dorun (map #(do ( persistence/write-fact-to-db (into {} %))) @action-words))
; (apply str (rest (str (:When {:When :ALWAYS}))))
