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 |
![]() |
![]() |