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	DryRoastAttribute est une instance de PreparedFoodAttribute
(relatedInternalConcept DryRoastAttribute CoffeeGrindAttribute)	Food.kif 109-109	DryRoastAttribute est reli� � l'int�rieur de SUMO � CoffeeGrindAttribute
(relatedInternalConcept DryRoastAttribute CoffeeRoastAttribute)	Food.kif 108-108	DryRoastAttribute est reli� � l'int�rieur de SUMO � CoffeeRoastAttribute

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