| CitrusFruit(citrus fruit)
| | citrous_fruit, citrus, citrus_fruit |
| 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 3943-3943 | Citrus fruit is a subclass of fruit |
| appearance as argument number 2 |
|
|
| (subclass LemonFruit CitrusFruit) | Economy.kif 3946-3946 | Lemon fruit is a subclass of citrus fruit |
| (subclass Lime CitrusFruit) | Economy.kif 3958-3958 | Lime is a subclass of citrus fruit |
| (subclass OrangeFruit CitrusFruit) | Economy.kif 3953-3953 | Orange fruit is a subclass of citrus fruit |
| (termFormat ChineseLanguage CitrusFruit "柑橘类水果") | domainEnglishFormat.kif 14839-14839 | |
| (termFormat ChineseTraditionalLanguage CitrusFruit "柑橘類水果") | domainEnglishFormat.kif 14838-14838 | |
| (termFormat EnglishLanguage CitrusFruit "citrus fruit") | domainEnglishFormat.kif 14837-14837 |
| statement |
|
|
| (subclass (DeadFn CitrusFruit) GroceryProduce) |
Economy.kif 3944-3944 | A dead citrus fruit is a subclass of grocery produce |
|
|
|