(subclass Feline Carnivore) | Merge.kif 14616-14616 | |
(subclass DomesticCat Feline) | Mid-level-ontology.kif 20083-20083 | |
(subclass Lion Feline) | Mid-level-ontology.kif 30370-30370 | |
(subclass Tiger Feline) | Mid-level-ontology.kif 30412-30412 | |
(subclass Cheetah Feline) | Mid-level-ontology.kif 30568-30568 |