| (subclass Feline Carnivore) | Merge.kif 14662-14662 | 猫科動物 は 肉食動物 の subclass では %n |
| (subclass DomesticCat Feline) | Mid-level-ontology.kif 20110-20110 | DomesticCat は 猫科動物 の subclass では %n |
| (subclass Lion Feline) | Mid-level-ontology.kif 30394-30394 | Lion は 猫科動物 の subclass では %n |
| (subclass Tiger Feline) | Mid-level-ontology.kif 30436-30436 | Tiger は 猫科動物 の subclass では %n |
| (subclass Cheetah Feline) | Mid-level-ontology.kif 30592-30592 | Cheetah は 猫科動物 の subclass では %n |
|
|