| 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 15209-15212 | |
| (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 15207-15207 | |
| (subclass FruitOrVegetable ReproductiveBody) | Merge.kif 15208-15208 |
| 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 |
|
|
|