Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Tomato(tomato)
|  | beefsteak_tomato, cherry_tomato, plum_tomato, tomato |
| appearance as argument number 1 |
|
|
| (subclass Tomato Fruit) | Food.kif 2306-2306 | Tomato is a subclass of fruit |
| (externalImage Tomato "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ tomato.png") | pictureList.kif 785-785 | Tomato is a subclass of fruit |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?K Ketchup) (material Tomato ?K)) |
Food.kif 2641-2643 | If X is an instance of ketchup, then X is made of tomato |
|