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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Flour
Flour(flour)
flour, graham, graham_flour, plain_flour, semolina, wheat_flour, whole_meal_flour, whole_wheat_flour

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


(documentation Flour EnglishLanguage "A Powder that is prepared from CerealGrain, e.g. wheat flour, rice flour, etc. Flour is most often used in the making of Dough.") Food.kif 1472-1474
(externalImage Flour "http://articulatesoftware.com/SUMOpictures/household/ kitchen/ flour.png") pictureList.kif 438-438
(roomTempState Flour Solid) Mid-level-ontology.kif 31675-31675 roomTempState flour and solid
(subclass Flour FoodFromPlant) Food.kif 1470-1470 Flour is a subclass of food from plant
(subclass Flour Powder) Food.kif 1471-1471 Flour is a subclass of powder
(subclass Flour PreparedFood) Food.kif 1469-1469 Flour is a subclass of prepared food

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


(subclass CornFlour Flour) Food.kif 1543-1543 Corn flour is a subclass of flour
(subclass RiceFlour Flour) Food.kif 1537-1537 Rice flour is a subclass of flour
(subclass RyeFlour Flour) Food.kif 1532-1532 Rye flour is a subclass of flour
(subclass TapiocaStarch Flour) Food.kif 1549-1549 Tapioca starch is a subclass of flour
(subclass WheatFlour Flour) Food.kif 1489-1489 Wheat flour is a subclass of flour
(termFormat ChineseLanguage Flour "面粉") domainEnglishFormat.kif 24318-24318 Wheat flour is a subclass of flour
(termFormat ChineseTraditionalLanguage Flour "麵粉") domainEnglishFormat.kif 24317-24317 Wheat flour is a subclass of flour
(termFormat EnglishLanguage Flour "flour") domainEnglishFormat.kif 24316-24316 Wheat flour is a subclass of flour

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


(=>
    (instance ?F Flour)
    (attribute ?F RawAttribute))
Food.kif 1485-1487
(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P Grinding)
            (patient ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))
Food.kif 1476-1483

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


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


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