Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation FruitOrVegetable ChineseLanguage "这是任何的水果或蔬菜,也就是说是 Plant 成熟的 ReproductiveBody。注:因为有些水果不可食用,如毒草莓,所以 FruitOrVegetable 不是 Food 的 子类别。") chinese_format.kif 3507-3509
(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 15102-15105
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Citrus_medicus_fruit.jpg") pictureList-ImageNet.kif 889-889
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Fruit_Stall_in_Barcelona_Market.jpg") pictureList.kif 2176-2176
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ La_Boqueria.JPG/ 250px-La_Boqueria.JPG") pictureList-ImageNet.kif 890-890
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e0/ Obstkorb.jpg/ 180px-Obstkorb.jpg") pictureList-ImageNet.kif 891-891
(subclass FruitOrVegetable PlantAnatomicalStructure) Merge.kif 15100-15100 Fruit or vegetable is a subclass of plant anatomical structure
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 15101-15101 Fruit or vegetable is a subclass of reproductive body

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


(initialPart FleshOrPulp FruitOrVegetable) Food.kif 2311-2311 Every flesh or pulp is initially part of a fruit or vegetable
(initialPart Juice FruitOrVegetable) Food.kif 2596-2596 Every juice is initially part of a fruit or vegetable
(initialPart PeelOrRind FruitOrVegetable) Food.kif 2297-2297 Every peel or rind is initially part of a fruit or vegetable
(subclass Broccoli FruitOrVegetable) Food.kif 2391-2391 Broccoli is a subclass of fruit or vegetable
(subclass EdibleNut FruitOrVegetable) Economy.kif 4470-4470 Edible nut is a subclass of fruit or vegetable
(subclass Fruit FruitOrVegetable) Food.kif 2175-2175 Fruit is a subclass of fruit or vegetable
(subclass Groundnut FruitOrVegetable) Economy.kif 4486-4486 Groundnut is a subclass of fruit or vegetable
(subclass Herb FruitOrVegetable) Food.kif 2154-2154 Herb is a subclass of fruit or vegetable
(subclass Legume FruitOrVegetable) Economy.kif 4336-4336 Legume is a subclass of fruit or vegetable
(subclass Mushroom FruitOrVegetable) Food.kif 2684-2684 Mushroom is a subclass of fruit or vegetable
(subclass RootVegetable FruitOrVegetable) Economy.kif 4287-4287 Root vegetable is a subclass of fruit or vegetable
(subclass Scallion FruitOrVegetable) Food.kif 3358-3358 Scallion is a subclass of fruit or vegetable
(subclass TeaPlantAerialPart FruitOrVegetable) Economy.kif 4706-4706 Tea plant aerial part is a subclass of fruit or vegetable
(subclass Vegetable FruitOrVegetable) Economy.kif 4206-4206 Vegetable is a subclass of fruit or vegetable
(termFormat ChineseLanguage FruitOrVegetable "水果或蔬菜") chinese_format.kif 1014-1014 Vegetable is a subclass of fruit or vegetable
(termFormat EnglishLanguage FruitOrVegetable "fruit or vegetable") english_format.kif 1240-1240 Vegetable is a subclass of fruit or vegetable
(termFormat FrenchLanguage FruitOrVegetable "fruit ou v�g�tal") french_format.kif 692-692 Vegetable is a subclass of fruit or vegetable
(termFormat Hindi FruitOrVegetable "phala yaa sabjee") terms-hindi.txt 223-223 Vegetable is a subclass of fruit or vegetable
(termFormat ItalianLanguage FruitOrVegetable "FruttaOVerdura") terms-it.txt 226-226 Vegetable is a subclass of fruit or vegetable
(termFormat JapaneseLanguage FruitOrVegetable "果物または野菜") japanese_format.kif 2375-2375 Vegetable is a subclass of fruit or vegetable
(termFormat PortugueseLanguage FruitOrVegetable "Fruta ou Vegetal") portuguese_format.kif 644-644 Vegetable is a subclass of fruit or vegetable
(termFormat cz FruitOrVegetable "fruit or vegetable") terms-cz.txt 261-261 Vegetable is a subclass of fruit or vegetable
(termFormat ro FruitOrVegetable "fruct sau legumã") relations-ro.kif 713-713 Vegetable is a subclass of fruit or vegetable
(termFormat tg FruitOrVegetable "bunga o gulay") terms-tg.txt 227-227 Vegetable is a subclass of fruit or vegetable

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass JuiceOfFn 1 FruitOrVegetable) Food.kif 2599-2599 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 4195-4204
(=>
    (and
        (instance ?X FruitOrVegetable)
        (part ?F ?X)
        (instance ?F FleshOrPulp)
        (part ?P ?X)
        (instance ?P PeelOrRind))
    (orientation ?F ?P Inside))
Food.kif 2316-2323

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


(=>
    (instance ?P PeelOrRind)
    (exists (?X)
        (and
            (part ?P ?X)
            (instance ?X FruitOrVegetable)
            (surface ?P ?X))))
Food.kif 2302-2308


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