|
|
   ShortwaveRadioStation
|
|
|
| appearance as argument number 1 |
|
|
| (externalImage Tomato "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ tomato.png") | pictureList.kif 785-785 | |
| (subclass Tomato Fruit) | Food.kif 2286-2286 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Tomato "番茄") | domainEnglishFormat.kif 58390-58390 | |
| (termFormat ChineseTraditionalLanguage Tomato "番茄") | domainEnglishFormat.kif 58389-58389 | |
| (termFormat EnglishLanguage Tomato "tomato") | domainEnglishFormat.kif 58388-58388 |
| consequent |
|
|
| (=> (instance ?K Ketchup) (material Tomato ?K)) |
Food.kif 2615-2617 |
|
|
|
