Fruit(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 | Fruit is a subclass of fruit or vegetable |
appearance as argument number 2 |
![]() |
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 |
|
![]() |
![]() |