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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - FoodFromPlant

appearance as argument number 1

(documentation FoodFromPlant EnglishLanguage "FoodFromPlant is the class of Food which are derived from the whole or part of Plants.") Food.kif 295-296
(subclass FoodFromPlant Food) Food.kif 294-294 FoodFromPlantFoodsubclass では %n

appearance as argument number 2

(disjoint Meat FoodFromPlant) Food.kif 292-292 FoodFromPlantdisjoint では %n
(subclass CerealStarch FoodFromPlant) Economy.kif 4307-4307 CerealStarchFoodFromPlantsubclass では %n
(subclass CoffeeBean FoodFromPlant) Economy.kif 4625-4625 CoffeeBeanFoodFromPlantsubclass では %n
(subclass CoffeeGrind FoodFromPlant) Food.kif 1029-1029 CoffeeGrindFoodFromPlantsubclass では %n
(subclass EdibleNut FoodFromPlant) Economy.kif 4469-4469 EdibleNutFoodFromPlantsubclass では %n
(subclass Flour FoodFromPlant) Food.kif 1470-1470 FlourFoodFromPlantsubclass では %n
(subclass Grain FoodFromPlant) Economy.kif 4149-4149 GrainFoodFromPlantsubclass では %n
(subclass Raisin FoodFromPlant) Food.kif 3323-3323 RaisinFoodFromPlantsubclass では %n
(subclass RootStarch FoodFromPlant) Economy.kif 4312-4312 RootStarchFoodFromPlantsubclass では %n
(subclass Spice FoodFromPlant) Economy.kif 4360-4360 SpiceFoodFromPlantsubclass では %n
(subclass Tofu FoodFromPlant) Food.kif 3509-3509 TofuFoodFromPlantsubclass では %n
(subclass VegetableOil FoodFromPlant) Economy.kif 4556-4556 VegetableOilFoodFromPlantsubclass では %n
(termFormat EnglishLanguage FoodFromPlant "food from plant") Food.kif 297-297


        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))
Food.kif 1633-1639
    (instance ?X FoodFromPlant)
    (exists (?P ?CLASS)
            (instance ?P
                (DeadFn ?CLASS))
            (part ?X ?P)
            (subclass ?CLASS Plant))))
Food.kif 299-306

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