HandToolBox - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage HandToolBox "tool box")

Cars.kif 4885-4885

antecedent

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

Cars.kif 4887-4893

statement

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

Cars.kif 5170-5173