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 25114-25114 | |
(termFormat ChineseTraditionalLanguage Fruit "水果") | domainEnglishFormat.kif 25113-25113 | |
(termFormat EnglishLanguage Fruit "fruit") | domainEnglishFormat.kif 25112-25112 |
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 |
![]() |
![]() |