TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Flour PreparedFood)	Food.kif 1453-1453	Flour is a subclass of food
(subclass Flour FoodFromPlant)	Food.kif 1454-1454	Flour is a subclass of food from a plant
(subclass Flour Powder)	Food.kif 1455-1455	Flour is a subclass of powder
(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 1456-1458	Flour is a subclass of powder
(roomTempState Flour Solid)	Food.kif 1459-1459	room temperature state flour and solid
(externalImage Flour "http://articulatesoftware.com/SUMOpictures/household/ kitchen/ flour.png")	pictureList.kif 438-438	room temperature state flour and solid

appearance as argument number 2

(subclass WheatFlour Flour)	Food.kif 1474-1474	Wheat flour is a subclass of flour
(subclass RyeFlour Flour)	Food.kif 1517-1517	Rye flour is a subclass of flour
(subclass RiceFlour Flour)	Food.kif 1522-1522	Rice flour is a subclass of flour
(subclass CornFlour Flour)	Food.kif 1528-1528	Corn flour is a subclass of flour
(subclass TapiocaStarch Flour)	Food.kif 1534-1534	Tapioca starch is a subclass of flour
(termFormat EnglishLanguage Flour "flour")	domainEnglishFormat.kif 24292-24292	Tapioca starch is a subclass of flour
(termFormat ChineseTraditionalLanguage Flour "麵粉")	domainEnglishFormat.kif 24293-24293	Tapioca starch is a subclass of flour
(termFormat ChineseLanguage Flour "面粉")	domainEnglishFormat.kif 24294-24294	Tapioca starch is a subclass of flour

antecedent

(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P Grinding) (patient ?P ?C) (instance ?C CerealGrain) (result ?P ?F))))	Food.kif 1461-1468	If X is an instance of flour, then there exist Y, Z such that Y is an instance of grinding, Z is a patient of Y, Z is an instance of cereal grain, and X is a result of Y
(=> (instance ?F Flour) (attribute ?F RawAttribute))	Food.kif 1470-1472	If X is an instance of flour, then raw food is an attribute of X

consequent

(=>
    (instance ?D Dough)
    (exists (?F ?W)
        (and
            (instance ?F Flour)
            (instance ?W DrinkingWater)
            (part ?F ?D)
            (part ?W ?D))))

If X is an instance of dough, then there exist Y, Z such that Y is an instance of flour, Z is an instance of potable water, Y is a part of X, and Z is a part of X