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 FlourFoodFromPlantsubclass では %n
(subclass Flour Powder) Food.kif 1471-1471 FlourPowdersubclass では %n
(subclass Flour PreparedFood) Food.kif 1469-1469 FlourPreparedFoodsubclass では %n

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


(subclass CornFlour Flour) Food.kif 1543-1543 CornFlourFloursubclass では %n
(subclass RiceFlour Flour) Food.kif 1537-1537 RiceFlourFloursubclass では %n
(subclass RyeFlour Flour) Food.kif 1532-1532 RyeFlourFloursubclass では %n
(subclass TapiocaStarch Flour) Food.kif 1549-1549 TapiocaStarchFloursubclass では %n
(subclass WheatFlour Flour) Food.kif 1489-1489 WheatFlourFloursubclass では %n
(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