Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DryRoasting
DryRoasting

appearance as argument number 1
-------------------------


(documentation DryRoasting EnglishLanguage "DryRoasting is a process by which heat is applied to dry foodstuffs without the use of Oil or DrinkingWater as a carrier. Dry-roasted foods are stirred as they are roasted to ensure even Heating.[Wikipedia]") Food.kif 123-125
(subclass DryRoasting Cooking) Food.kif 121-121
(subclass DryRoasting Heating) Food.kif 122-122

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage DryRoasting "dry roasting") Food.kif 126-126

antecedent
-------------------------


(=>
    (and
        (instance ?X DryRoasting)
        (instance ?F Food)
        (patient ?X ?F))
    (holdsDuring ?X
        (exists (?H ?S)
            (and
                (instance ?H Heating)
                (instance ?S Stirring)
                (subProcess ?H ?X)
                (subProcess ?S ?X)
                (during
                    (WhenFn ?S)
                    (WhenFn ?H))
                (patient ?H ?F)
                (patient ?S ?F)
                (not
                    (exists (?O ?W)
                        (and
                            (instance ?O Oil)
                            (instance ?W DrinkingWater)
                            (patient ?X ?O)
                            (patient ?X ?W))))))))
Food.kif 128-151

consequent
-------------------------


(=>
    (and
        (roastedToTemperature ?B ?T)
        (instance ?B CoffeeBean)
        (instance ?T RealNumber))
    (modalAttribute
        (exists (?R)
            (and
                (instance ?R DryRoasting)
                (patient ?R ?B))) Likely))
Food.kif 479-488
(=>
    (attribute ?F DryRoastAttribute)
    (exists (?X)
        (and
            (instance ?X DryRoasting)
            (result ?X ?F))))
Food.kif 114-119


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners