TreeView 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 4830-4831
(subclass HandToolBox Box)	Cars.kif 4829-4829	HandToolBox ist eine teilkategorie von Box

appearance as argument number 2

(termFormat EnglishLanguage HandToolBox "tool box")

Cars.kif 4832-4832

antecedent

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

Cars.kif 4834-4840

Wenn Physical ist ein fall von HandToolBox %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von HandTool %n{nicht} und contains ** Physical and ** entity %n{nicht}

statement

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

Cars.kif 5117-5120