 . #$TameAnimal)))
(fi-ask '(#$isa #$Fido #$Mammal) #$BaseKB nil 2)
200 (((T . T)))
(mapcar #'assertion-id (gather-arg-index #$Fido 1 #$isa #$BaseKB))
200 (664220)
(assertion-cnf (find-assertion-by-id 664220))
200 (NIL ((#$isa #$Fido #$Dog)))
(assertion-el-formula (find-assertion-by-id 664220))
200 (#$isa #$Fido #$Dog)
(fi-kill #$Fido)
200 T
(fi-find "Fido")
200 NIL
(api-quit)
Connection closed by foreign host.</pre></blockquote>
 </div></div></div>  <div id="book-navigation-349" class="book-navigation">
  