DryRoastAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DryRoastAttribute EnglishLanguage "DryRoastAttribute describes how DryRoasting is involved in preparing Food.")	Food.kif 110-111
(instance DryRoastAttribute PreparedFoodAttribute)	Food.kif 107-107	Hulled is an instance of prepared food attribute
(relatedInternalConcept DryRoastAttribute CoffeeGrindAttribute)	Food.kif 109-109	Hulled is internally related to coffee grind attribute
(relatedInternalConcept DryRoastAttribute CoffeeRoastAttribute)	Food.kif 108-108	Hulled is internally related to coffee roast attribute

appearance as argument number 2

(termFormat EnglishLanguage DryRoastAttribute "dry roast")	Food.kif 112-112
(termFormat EnglishLanguage DryRoastAttribute "hulled")	Food.kif 158-158

antecedent

(=>
    (attribute ?F DryRoastAttribute)
    (exists (?X)
        (and
            (instance ?X DryRoasting)
            (result ?X ?F))))

Food.kif 114-119

consequent

(=>
    (instance ?X CocoaLiquor)
    (exists (?H ?B)
        (and
            (instance ?H Heating)
            (patient ?H ?B)
            (instance ?B CocoaBean)
            (attribute ?B DryRoastAttribute)
            (attribute ?B HulledAttribute)
            (attribute ?B FermentedAttribute)
            (result ?H ?X)
            (holdsDuring ?H
                (attribute ?X Liquid)))))

Food.kif 2449-2461