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 31860-31860 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 20260-20260
(termFormat ChineseTraditionalLanguage Dough "麵團") domainEnglishFormat.kif 20259-20259
(termFormat EnglishLanguage Dough "dough") domainEnglishFormat.kif 20258-20258

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