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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


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


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

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

Show without tree

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