| 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 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 | |
| (subclass FruitOrVegetable ReproductiveBody) | Merge.kif 15101-15101 |
| appearance as argument number 2 |
|
|
| (initialPart FleshOrPulp FruitOrVegetable) | Food.kif 2311-2311 | |
| (initialPart Juice FruitOrVegetable) | Food.kif 2596-2596 | |
| (initialPart PeelOrRind FruitOrVegetable) | Food.kif 2297-2297 | |
| (subclass Broccoli FruitOrVegetable) | Food.kif 2391-2391 | |
| (subclass EdibleNut FruitOrVegetable) | Economy.kif 4470-4470 | |
| (subclass Fruit FruitOrVegetable) | Food.kif 2175-2175 | |
| (subclass Groundnut FruitOrVegetable) | Economy.kif 4486-4486 | |
| (subclass Herb FruitOrVegetable) | Food.kif 2154-2154 | |
| (subclass Legume FruitOrVegetable) | Economy.kif 4336-4336 | |
| (subclass Mushroom FruitOrVegetable) | Food.kif 2684-2684 | |
| (subclass RootVegetable FruitOrVegetable) | Economy.kif 4287-4287 | |
| (subclass Scallion FruitOrVegetable) | Food.kif 3358-3358 | |
| (subclass TeaPlantAerialPart FruitOrVegetable) | Economy.kif 4706-4706 | |
| (subclass Vegetable FruitOrVegetable) | Economy.kif 4206-4206 | |
| (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 |
| 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 |
|
|
|