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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Flour
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 31410-31410
(subclass Flour FoodFromPlant) Food.kif 1470-1470
(subclass Flour Powder) Food.kif 1471-1471
(subclass Flour PreparedFood) Food.kif 1469-1469

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


(subclass CornFlour Flour) Food.kif 1543-1543
(subclass RiceFlour Flour) Food.kif 1537-1537
(subclass RyeFlour Flour) Food.kif 1532-1532
(subclass TapiocaStarch Flour) Food.kif 1549-1549
(subclass WheatFlour Flour) Food.kif 1489-1489
(termFormat ChineseLanguage Flour "面粉") domainEnglishFormat.kif 24296-24296
(termFormat ChineseTraditionalLanguage Flour "麵粉") domainEnglishFormat.kif 24295-24295
(termFormat EnglishLanguage Flour "flour") domainEnglishFormat.kif 24294-24294

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