DryRoastAttribute - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage DryRoastAttribute "dry roast")

antecedent

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

If dry roast is an attribute of X, then there exists Y such that Y is an instance of dry roasting and X is a result of Y

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)))))

If X is an instance of cocoa liquor, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of heating (3) Z is a patient of Y (4) Z is an instance of cocoa bean (5) dry roast is an attribute of Z (6) hulled is an attribute of Z (7) fermented is an attribute of Z (8) X is a result of Y (9) liquid is an attribute of X holds during Y