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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FruitOrVegetable

 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 15056-15059
(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 15054-15054 子類 FruitOrVegetable and 植物解剖結構
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 15055-15055 子類 FruitOrVegetable and ReproductiveBody

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


(initialPart FleshOrPulp FruitOrVegetable) Food.kif 2311-2311 %每個 FleshOrPulp 是 FruitOrVegetable 的 initially part
(initialPart Juice FruitOrVegetable) Food.kif 2596-2596 %每個 Juice 是 FruitOrVegetable 的 initially part
(initialPart PeelOrRind FruitOrVegetable) Food.kif 2297-2297 %每個 PeelOrRind 是 FruitOrVegetable 的 initially part
(subclass Broccoli FruitOrVegetable) Food.kif 2391-2391 子類 Broccoli and FruitOrVegetable
(subclass EdibleNut FruitOrVegetable) Economy.kif 4470-4470 子類 食用堅果 and FruitOrVegetable
(subclass Fruit FruitOrVegetable) Food.kif 2175-2175 子類 水果 and FruitOrVegetable
(subclass Groundnut FruitOrVegetable) Economy.kif 4486-4486 子類 花生 and FruitOrVegetable
(subclass Herb FruitOrVegetable) Food.kif 2154-2154 子類 Herb and FruitOrVegetable
(subclass Legume FruitOrVegetable) Economy.kif 4336-4336 子類 豆科植物 and FruitOrVegetable
(subclass Mushroom FruitOrVegetable) Food.kif 2684-2684 子類 Mushroom and FruitOrVegetable
(subclass RootVegetable FruitOrVegetable) Economy.kif 4287-4287 子類 根菜類 and FruitOrVegetable
(subclass Scallion FruitOrVegetable) Food.kif 3358-3358 子類 Scallion and FruitOrVegetable
(subclass TeaPlantAerialPart FruitOrVegetable) Economy.kif 4706-4706 子類 茶樹空中部分 and FruitOrVegetable
(subclass Vegetable FruitOrVegetable) Economy.kif 4206-4206 子類 蔬菜 and FruitOrVegetable
(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 ro FruitOrVegetable "fruct sau legumã") relations-ro.kif 713-713
(termFormat tg FruitOrVegetable "bunga o gulay") terms-tg.txt 227-227

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 域子類 JuiceOfFn, 1 and FruitOrVegetable

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