|
|
   CitrusFruit
|
|
|
| appearance as argument number 1 |
|
|
| (externalImage CitrusFruit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Ambersweet_oranges.jpg") | pictureList.kif 142-142 | |
| (subclass CitrusFruit Fruit) | Economy.kif 4028-4028 |
| appearance as argument number 2 |
|
|
| (subclass LemonFruit CitrusFruit) | Economy.kif 4035-4035 | |
| (subclass Lime CitrusFruit) | Economy.kif 4047-4047 | |
| (subclass OrangeFruit CitrusFruit) | Economy.kif 4042-4042 | |
| (termFormat ChineseLanguage CitrusFruit "柑橘类水果") | domainEnglishFormat.kif 14907-14907 | |
| (termFormat ChineseTraditionalLanguage CitrusFruit "柑橘類水果") | domainEnglishFormat.kif 14906-14906 | |
| (termFormat EnglishLanguage CitrusFruit "citrus fruit") | domainEnglishFormat.kif 14905-14905 |
| antecedent |
|
|
| (=> (equal ?C (DeadFn CitrusFruit)) (subclass ?C GroceryProduce)) |
Economy.kif 4030-4033 |
|
|
|
