(subclass CitrusFruit Fruit) | Food.kif 2325-2325 | CitrusFruit は Fruit の subclass では %n |
(subclass LemonFruit CitrusFruit) | Food.kif 2327-2327 | LemonFruit は CitrusFruit の subclass では %n |
(subclass OrangeFruit CitrusFruit) | Food.kif 2341-2341 | OrangeFruit は CitrusFruit の subclass では %n |
(subclass Lime CitrusFruit) | Food.kif 2353-2353 | Lime は CitrusFruit の subclass では %n |
(subclass Grapefruit CitrusFruit) | Food.kif 2362-2362 | Grapefruit は CitrusFruit の subclass では %n |