CommodoreAutomobile - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CommodoreAutomobile EnglishLanguage "A brand of Automobile that is the output of Manufacture by HoldenCorporation.")	Cars.kif 4514-4515
(manufacturer CommodoreAutomobile HoldenCorporation)	Cars.kif 4516-4516	manufacturer CommodoreAutomobile and HoldenCorporation
(subclass CommodoreAutomobile Automobile)	Cars.kif 4513-4513	CommodoreAutomobile ist eine teilkategorie von Automobile

appearance as argument number 2

domainEnglishFormat.kif 64666-64666

consequent

(=>
    (instance ?CW CommodoreWheel)
    (hasPurpose ?CW
        (exists (?CA)
            (and
                (instance ?CA CommodoreAutomobile)
                (part ?CW ?CA)))))

Cars.kif 4524-4530

Wenn Physical ist ein fall von CommodoreWheel %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von CommodoreAutomobile %n{nicht} und ** Physical ist ein teil von ** entity %n{nicht} %n{nicht}