|
|
   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 | 果物または野菜 は PlantAnatomicalStructure の subclass では |
| (subclass FruitOrVegetable ReproductiveBody) | Merge.kif 15208-15208 | 果物または野菜 は 生殖体 の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass JuiceOfFn 1 FruitOrVegetable) | Food.kif 2606-2606 | 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 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 |
|
|
|
|
