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	Dry roast is an instance of prepared food attribute
(relatedInternalConcept DryRoastAttribute CoffeeGrindAttribute)	Food.kif 109-109	Dry roast is internally related to coffee grind attribute
(relatedInternalConcept DryRoastAttribute CoffeeRoastAttribute)	Food.kif 108-108	Dry roast is internally related to coffee roast attribute

appearance as argument number 2

(termFormat EnglishLanguage DryRoastAttribute "dry roast")

Food.kif 112-112

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 2456-2468