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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodFromPlant

Sigma KEE - FoodFromPlant
FoodFromPlant(food from plant)

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 Food from plant is a subclass of food

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


(disjoint Meat FoodFromPlant) Food.kif 292-292 Meat is disjoint from food from plant
(subclass CerealStarch FoodFromPlant) Economy.kif 4307-4307 Cereal starch is a subclass of food from plant
(subclass CoffeeBean FoodFromPlant) Economy.kif 4625-4625 Coffee bean is a subclass of food from plant
(subclass CoffeeGrind FoodFromPlant) Food.kif 1029-1029 Coffee grind is a subclass of food from plant
(subclass EdibleNut FoodFromPlant) Economy.kif 4469-4469 Edible nut is a subclass of food from plant
(subclass Flour FoodFromPlant) Food.kif 1470-1470 Flour is a subclass of food from plant
(subclass Grain FoodFromPlant) Economy.kif 4149-4149 Grain is a subclass of food from plant
(subclass Raisin FoodFromPlant) Food.kif 3323-3323 Raisin is a subclass of food from plant
(subclass RootStarch FoodFromPlant) Economy.kif 4312-4312 Root starch is a subclass of food from plant
(subclass Spice FoodFromPlant) Economy.kif 4360-4360 Spice is a subclass of food from plant
(subclass Tofu FoodFromPlant) Food.kif 3509-3509 Tofu is a subclass of food from plant
(subclass VegetableOil FoodFromPlant) Economy.kif 4556-4556 Vegetable oil is a subclass of food from plant
(termFormat EnglishLanguage FoodFromPlant "food from plant") Food.kif 297-297

antecedent
-------------------------


(=>
    (and
        (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)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?X ?P)
            (subclass ?CLASS Plant))))
Food.kif 299-306


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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