TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Brandy DistilledAlcoholicBeverage)	Food.kif 3672-3672	Brandy is a subclass of distilled alcoholic beverage
(documentation Brandy EnglishLanguage "A DistilledAlcoholicBeverage that is prepared by distilling Wine.")	Food.kif 3673-3674	Brandy is a subclass of distilled alcoholic beverage
(roomTempState Brandy Liquid)	Food.kif 3675-3675	room temperature state brandy and liquid
(externalImage Brandy "http://upload.wikimedia.org/wikipedia/commons/3/38/ Brandy_photo.jpg")	pictureList.kif 4560-4560	room temperature state brandy and liquid

appearance as argument number 2

(termFormat EnglishLanguage Brandy "brandy")	domainEnglishFormat.kif 11837-11837
(termFormat ChineseTraditionalLanguage Brandy "白蘭地")	domainEnglishFormat.kif 11838-11838
(termFormat ChineseLanguage Brandy "白兰地")	domainEnglishFormat.kif 11839-11839

antecedent

(=>
    (instance ?B Brandy)
    (exists (?D ?W)
        (and
            (instance ?D Distilling)
            (instance ?W Wine)
            (resource ?D ?W)
            (result ?D ?B))))

If X is an instance of brandy, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of wine, Z is a resource for Y, and X is a result of Y