Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FruitOrVegetable
FruitOrVegetable(fruit or vegetable)
Barbados_gooseberry, Bermuda_onion, Chinese_anise, Chinese_cabbage, Chinese_celery, Chinese_date, Chinese_gooseberry, Chinese_jujube, Darjeeling, European_blueberry, French_sorrel, Hottentot's_bread, Hottentot_bread, Indian_meal, Jamaica_apple, Japanese_plum, Jerusalem_artichoke, Mexican_black_cherry, Mexican_husk_tomato, Savoy, Spanish_lime, Spanish_onion, Spanish_paprika, Swiss_chard, Victoria_plum, Vidalia_onion, West_Indian_cherry, acerola, achene, achenial, ackee, akee, amarelle, anchovy_pear, angelica, angiocarpic, angiocarpous, anise, anise_seed, aniseed, annon, apple_of_discord, apricot, artichoke, artichoke_heart, ascocarpous, asparagus, avellan, avellane, banana_peel...

appearance as argument number 1
-------------------------


(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15350-15350 Fruit or vegetable is a subclass of plant anatomical structure
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 15351-15351 Fruit or vegetable is a subclass of reproductive body
(documentation FruitOrVegetable EnglishLanguage "Any fruit or vegetable, i.e. a ripened ReproductiveBody of a Plant. Note that FruitOrVegetable is not a subclass of Food, because some fruits, e.g. poisonous berries, are not edible.") Merge.kif 15352-15355 Fruit or vegetable is a subclass of reproductive body
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Citrus_medicus_fruit.jpg") pictureList-ImageNet.kif 889-889 Fruit or vegetable is a subclass of reproductive body
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ La_Boqueria.JPG/ 250px_La_Boqueria.JPG") pictureList-ImageNet.kif 890-890 Fruit or vegetable is a subclass of reproductive body
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e0/ Obstkorb.jpg/ 180px_Obstkorb.jpg") pictureList-ImageNet.kif 891-891 Fruit or vegetable is a subclass of reproductive body
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Fruit_Stall_in_Barcelona_Market.jpg") pictureList.kif 2175-2175 Fruit or vegetable is a subclass of reproductive body

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


(subclass Vegetable FruitOrVegetable) Economy.kif 4538-4538 Vegetable is a subclass of fruit or vegetable
(subclass RootVegetable FruitOrVegetable) Economy.kif 4620-4620 Root vegetable is a subclass of fruit or vegetable
(subclass Legume FruitOrVegetable) Economy.kif 4669-4669 Legume is a subclass of fruit or vegetable
(subclass EdibleNut FruitOrVegetable) Economy.kif 4803-4803 Edible nut is a subclass of fruit or vegetable
(subclass Groundnut FruitOrVegetable) Economy.kif 4819-4819 Groundnut is a subclass of fruit or vegetable
(subclass TeaPlantAerialPart FruitOrVegetable) Economy.kif 5039-5039 Tea plant aerial part is a subclass of fruit or vegetable
(subclass Herb FruitOrVegetable) Food.kif 2174-2174 Herb is a subclass of fruit or vegetable
(subclass Fruit FruitOrVegetable) Food.kif 2195-2195 Fruit is a subclass of fruit or vegetable
(initialPart PeelOrRind FruitOrVegetable) Food.kif 2317-2317 Every peel or rind is initially part of a fruit or vegetable
(initialPart FleshOrPulp FruitOrVegetable) Food.kif 2331-2331 Every flesh or pulp is initially part of a fruit or vegetable
(subclass Broccoli FruitOrVegetable) Food.kif 2411-2411 Broccoli is a subclass of fruit or vegetable
(initialPart Juice FruitOrVegetable) Food.kif 2621-2621 Every juice is initially part of a fruit or vegetable
(subclass Mushroom FruitOrVegetable) Food.kif 2712-2712 Mushroom is a subclass of fruit or vegetable
(subclass Scallion FruitOrVegetable) Food.kif 3392-3392 Scallion is a subclass of fruit or vegetable
(subclass Popcorn FruitOrVegetable) Society.kif 785-785 Popcorn is a subclass of fruit or vegetable
(termFormat EnglishLanguage FruitOrVegetable "fruit or vegetable") english_format.kif 1244-1244 Popcorn is a subclass of fruit or vegetable

appearance as argument number 3
-------------------------


(domainSubclass JuiceOfFn 1 FruitOrVegetable) Food.kif 2624-2624 The number 1 argument of juice of fn is a subclass of fruit or vegetable

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


(=>
    (and
        (attribute ?X Produce)
        (instance ?X FruitOrVegetable))
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X
                    (FoodForFn Human))))))		 Economy.kif 4527-4536 If produce is an attribute of X and X is an instance of fruit or vegetable, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, and X is an instance of food for human
(=>
    (and
        (instance ?X FruitOrVegetable)
        (part ?F ?X)
        (instance ?F FleshOrPulp)
        (part ?P ?X)
        (instance ?P PeelOrRind))
    (orientation ?F ?P Inside))		 Food.kif 2336-2343 If X is an instance of fruit or vegetable, Y is a part of X, Y is an instance of flesh or pulp, Z is a part of X, and Z is an instance of peel or rind, then Y is inside the to Z

consequent
-------------------------


(=>
    (instance ?P PeelOrRind)
    (exists (?X)
        (and
            (part ?P ?X)
            (instance ?X FruitOrVegetable)
            (surface ?P ?X))))		 Food.kif 2322-2328 If X is an instance of peel or rind, then there exists Y such that X is a part of Y, Y is an instance of fruit or vegetable, and X is a surface of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners