| Fruit
|
| appearance as argument number 1 |
|
| (externalImage Fruit "http://www.adampease.org/Articulate/SUMOpictures/pictures/ small_icons/ food/ fruit_3.png") | pictureList.kif 449-449 | |
| (subclass Fruit FruitOrVegetable) | Economy.kif 3921-3921 |
| appearance as argument number 2 |
|
|
| (industryProductType FruitFarming Fruit) | Economy.kif 5073-5073 | |
| (subclass Apple Fruit) | Economy.kif 3937-3937 | |
| (subclass Berry Fruit) | Economy.kif 3934-3934 | |
| (subclass CitrusFruit Fruit) | Economy.kif 3943-3943 | |
| (subclass Grape Fruit) | Economy.kif 3926-3926 | |
| (subclass Grapefruit Fruit) | Food.kif 585-585 | |
| (subclass Melon Fruit) | Economy.kif 3929-3929 | |
| (subclass Olive Fruit) | Economy.kif 3940-3940 | |
| (subclass Peach Fruit) | Food.kif 725-725 | |
| (subclass TamarindFruit Fruit) | Food.kif 915-915 | |
| (subclass Tomato Fruit) | Economy.kif 3923-3923 | |
| (subclass TropicalFruit Fruit) | Economy.kif 3960-3960 | |
| (termFormat ChineseLanguage Fruit "水果") | domainEnglishFormat.kif 25039-25039 | |
| (termFormat ChineseTraditionalLanguage Fruit "水果") | domainEnglishFormat.kif 25038-25038 | |
| (termFormat EnglishLanguage Fruit "fruit") | domainEnglishFormat.kif 25037-25037 |
| consequent |
|
|
| (=> (instance ?S Schnapps) (exists (?D ?F) (and (instance ?D Distilling) (instance ?F Fruit) (resource ?D ?F) (result ?D ?S)))) |
Food.kif 810-817 | |
| (=> (instance ?S Sorbet) (material Fruit ?S)) |
Food.kif 880-882 |
|
|
|