| (subclass Feline Carnivore) | Merge.kif 14754-14754 | Feline is a subclass of carnivore |
| (subclass DomesticCat Feline) | Mid-level-ontology.kif 21700-21700 | Domestic cat is a subclass of feline |
| (subclass Lion Feline) | Mid-level-ontology.kif 32290-32290 | Lion is a subclass of feline |
| (subclass Tiger Feline) | Mid-level-ontology.kif 32348-32348 | Tiger is a subclass of feline |
| (subclass Cheetah Feline) | Mid-level-ontology.kif 32504-32504 | Cheetah is a subclass of feline |
|
|