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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dough
Dough(dough)
bread_dough, dough

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


(documentation Dough EnglishLanguage "A Mixture of Flour, DrinkingWater, and possibly other ingredients (such as Butter and Salt), which is used in making BreadOrBiscuits or Pasta or noodles.") Food.kif 1601-1603
(externalImage Dough "http://upload.wikimedia.org/wikipedia/commons/2/24/ Dough.jpg") pictureList.kif 1475-1475
(roomTempState Dough Solid) Mid-level-ontology.kif 31627-31627 roomTempState dough and solid
(subclass Dough Mixture) Food.kif 1600-1600 Dough is a subclass of mixture
(subclass Dough PreparedFood) Food.kif 1599-1599 Dough is a subclass of prepared food

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


(termFormat ChineseLanguage Dough "面团") domainEnglishFormat.kif 20244-20244
(termFormat ChineseTraditionalLanguage Dough "麵團") domainEnglishFormat.kif 20243-20243
(termFormat EnglishLanguage Dough "dough") domainEnglishFormat.kif 20242-20242

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


(=>
    (instance ?D Dough)
    (attribute ?D RawAttribute))
Food.kif 1605-1607
(=>
    (instance ?D Dough)
    (exists (?F ?W)
        (and
            (instance ?F Flour)
            (instance ?W DrinkingWater)
            (part ?F ?D)
            (part ?W ?D))))
Food.kif 1609-1616

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


(=>
    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
        (and
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))
Food.kif 1566-1573
(=>
    (instance ?P Pasta)
    (exists (?D ?C)
        (and
            (instance ?D Dough)
            (instance ?C Cooking)
            (resource ?C ?D)
            (result ?C ?P))))
Food.kif 2748-2755


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