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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FruitOrVegetable
FruitOrVegetable

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 15194-15197
(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 2175-2175
(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 15192-15192
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 15193-15193

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


(initialPart FleshOrPulp FruitOrVegetable) Food.kif 2318-2318
(initialPart Juice FruitOrVegetable) Food.kif 2603-2603
(initialPart PeelOrRind FruitOrVegetable) Food.kif 2304-2304
(subclass Broccoli FruitOrVegetable) Food.kif 2398-2398
(subclass EdibleNut FruitOrVegetable) Economy.kif 4808-4808
(subclass Fruit FruitOrVegetable) Food.kif 2182-2182
(subclass Groundnut FruitOrVegetable) Economy.kif 4824-4824
(subclass Herb FruitOrVegetable) Food.kif 2161-2161
(subclass Legume FruitOrVegetable) Economy.kif 4674-4674
(subclass Mushroom FruitOrVegetable) Food.kif 2691-2691
(subclass RootVegetable FruitOrVegetable) Economy.kif 4625-4625
(subclass Scallion FruitOrVegetable) Food.kif 3365-3365
(subclass TeaPlantAerialPart FruitOrVegetable) Economy.kif 5044-5044
(subclass Vegetable FruitOrVegetable) Economy.kif 4543-4543
(termFormat ChineseLanguage FruitOrVegetable "水果或蔬菜") chinese_format.kif 1014-1014
(termFormat EnglishLanguage FruitOrVegetable "fruit or vegetable") english_format.kif 1240-1240
(termFormat FrenchLanguage FruitOrVegetable "fruit ou v�g�tal") french_format.kif 692-692
(termFormat Hindi FruitOrVegetable "phala yaa sabjee") terms-hindi.txt 223-223
(termFormat ItalianLanguage FruitOrVegetable "FruttaOVerdura") terms-it.txt 226-226
(termFormat JapaneseLanguage FruitOrVegetable "果物または野菜") japanese_format.kif 2375-2375
(termFormat PortugueseLanguage FruitOrVegetable "Fruta ou Vegetal") portuguese_format.kif 644-644
(termFormat cz FruitOrVegetable "fruit or vegetable") terms-cz.txt 261-261
(termFormat de FruitOrVegetable "Frucht oder Gemuese") terms-de.txt 520-520
(termFormat ro FruitOrVegetable "fruct sau legumã") relations-ro.kif 713-713

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 2606-2606

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 4532-4541
(=>
    (and
        (instance ?X FruitOrVegetable)
        (part ?F ?X)
        (instance ?F FleshOrPulp)
        (part ?P ?X)
        (instance ?P PeelOrRind))
    (orientation ?F ?P Inside))
Food.kif 2323-2330

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


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


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