Schnapps - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Schnapps EnglishLanguage "A Liqueur made from distilling fruit.")	Food.kif 3366-3366
(roomTempState Schnapps Liquid)	Mid-level-ontology.kif 32557-32557	roomTempState schnapps and liquid
(subclass Schnapps Liqueur)	Food.kif 3367-3367	Schnapps is a subclass of liqueur

appearance as argument number 2

(termFormat EnglishLanguage Schnapps "schnapps")

domainEnglishFormat.kif 65470-65470

antecedent

(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))

Food.kif 3368-3375