TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Cider BeverageArtifact)	Society.kif 1189-1189	Cider is a subclass of BeverageArtifact
(subclass Cider AlcoholicBeverage)	Society.kif 1190-1190	Cider is a subclass of alcoholic beverage
(documentation Cider EnglishLanguage "Cider or cyder is a fermented beverage made from Apple juice. Cider varies in alcohol content from 2% abv to 8.5% abv or more in traditional English ciders.")	Society.kif 1192-1192	Cider is a subclass of alcoholic beverage

appearance as argument number 2

(termFormat EnglishLanguage Cider "cider")

antecedent

(=>
    (instance ?C Cider)
    (exists (?F ?A)
        (and
            (instance ?F Fermentation)
            (instance ?A
                (JuiceOfFn Apple))
            (resource ?F ?A)
            (result ?F ?C))))

If X is an instance of cider, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of apple, Z is a resource for Y, and X is a result of Y