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 | 水果或蔬菜 是 植物解剖结构 的 subclass |
(subclass FruitOrVegetable ReproductiveBody) | Merge.kif 15055-15055 | 水果或蔬菜 是 繁殖体 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domainSubclass JuiceOfFn 1 FruitOrVegetable) | Food.kif 2599-2599 | JuiceOfFn 的 1 数量 是 水果或蔬菜 的 subclass |
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 |
|
![]() |
![]() |