| (subclass CitrusFruit Fruit) | Food.kif 2325-2325 | CitrusFruit e' uma sub-classe de Fruit |
| (subclass LemonFruit CitrusFruit) | Food.kif 2327-2327 | LemonFruit e' uma sub-classe de CitrusFruit |
| (subclass OrangeFruit CitrusFruit) | Food.kif 2341-2341 | OrangeFruit e' uma sub-classe de CitrusFruit |
| (subclass Lime CitrusFruit) | Food.kif 2353-2353 | Lime e' uma sub-classe de CitrusFruit |
| (subclass Grapefruit CitrusFruit) | Food.kif 2362-2362 | Grapefruit e' uma sub-classe de CitrusFruit |
|
|