TreeView Knowledge Base Browser

appearance as argument number 1

(documentation HandTool EnglishLanguage "Any UnpoweredDevice that a Human is capable of Carrying and is designed for a particular purpose.")	Cars.kif 4481-4482
(subclass HandTool UnpoweredDevice)	Cars.kif 4479-4479	HandTool ist eine teilkategorie von UnpoweredDevice

appearance as argument number 2

(termFormat EnglishLanguage HandTool "hand tool")

Cars.kif 4480-4480

antecedent

Cars.kif 4484-4486

Wenn Object ist ein fall von HandTool %n{nicht},
dann ** Object ist faehig %n{nicht}, in der Rolle objectTransferred Carrying zu tun

consequent

(=>
    (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}