|
|
   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 3984-3984 |
| appearance as argument number 2 |
|
|
| (industryProductType FruitFarming Fruit) | Economy.kif 5234-5234 | |
| (subclass Apple Fruit) | Economy.kif 4014-4014 | |
| (subclass Berry Fruit) | Economy.kif 4007-4007 | |
| (subclass CitrusFruit Fruit) | Economy.kif 4028-4028 | |
| (subclass CoffeeBean Fruit) | Mid-level-ontology.kif 21113-21113 | |
| (subclass Grape Fruit) | Economy.kif 3993-3993 | |
| (subclass Grapefruit Fruit) | Food.kif 567-567 | |
| (subclass Olive Fruit) | Economy.kif 4021-4021 | |
| (subclass Peach Fruit) | Food.kif 710-710 | |
| (subclass TamarindFruit Fruit) | Food.kif 900-900 | |
| (subclass Tomato Fruit) | Economy.kif 3986-3986 | |
| (subclass TropicalFruit Fruit) | Economy.kif 4049-4049 | |
| (termFormat ChineseLanguage Fruit "水果") | domainEnglishFormat.kif 25107-25107 | |
| (termFormat ChineseTraditionalLanguage Fruit "水果") | domainEnglishFormat.kif 25106-25106 | |
| (termFormat EnglishLanguage Fruit "fruit") | domainEnglishFormat.kif 25105-25105 |
| consequent |
|
|
| (=> (instance ?S Schnapps) (exists (?D ?F) (and (instance ?D Distilling) (instance ?F Fruit) (resource ?D ?F) (result ?D ?S)))) |
Food.kif 795-802 | |
| (=> (instance ?S Sorbet) (material Fruit ?S)) |
Food.kif 865-867 |
|
|
|
