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 roomTempState Flour and Solid
(subclass Flour FoodFromPlant) Food.kif 1470-1470 Flour est une sous-classe de FoodFromPlant
(subclass Flour Powder) Food.kif 1471-1471 Flour est une sous-classe de Powder
(subclass Flour PreparedFood) Food.kif 1469-1469 Flour est une sous-classe de PreparedFood

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


(subclass CornFlour Flour) Food.kif 1543-1543 CornFlour est une sous-classe de Flour
(subclass RiceFlour Flour) Food.kif 1537-1537 RiceFlour est une sous-classe de Flour
(subclass RyeFlour Flour) Food.kif 1532-1532 RyeFlour est une sous-classe de Flour
(subclass TapiocaStarch Flour) Food.kif 1549-1549 TapiocaStarch est une sous-classe de Flour
(subclass WheatFlour Flour) Food.kif 1489-1489 WheatFlour est une sous-classe de Flour
(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