TreeView Knowledge Base Browser

appearance as argument number 1

(subclass HandToolBox Box)	Cars.kif 4713-4713	Tool box is a subclass of box
(documentation HandToolBox EnglishLanguage "A Box designed for Carrying HandTools, such as a Hammer or Wrench.")	Cars.kif 4714-4715	Tool box is a subclass of box

appearance as argument number 2

(termFormat EnglishLanguage HandToolBox "tool box")

antecedent

(=>
    (instance ?HTB HandToolBox)
    (hasPurpose ?HTB
        (exists (?HT)
            (and
                (instance ?HT HandTool)
                (contains ?HTB ?HT)))))

If X is an instance of tool box, then X has the purpose there exists Y such that Y is an instance of hand tool and X contains Y

statement

(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))

There exists X such that X is a subclass of tool box and the maker of X is Sortimo Corporation