| (subclass Feline Carnivore) | Merge.kif 14616-14616 | Felin est une sous-classe de carnivore |
| (subclass DomesticCat Feline) | Mid-level-ontology.kif 20083-20083 | DomesticCat est une sous-classe de felin |
| (subclass Lion Feline) | Mid-level-ontology.kif 30370-30370 | Lion est une sous-classe de felin |
| (subclass Tiger Feline) | Mid-level-ontology.kif 30412-30412 | Tiger est une sous-classe de felin |
| (subclass Cheetah Feline) | Mid-level-ontology.kif 30568-30568 | Cheetah est une sous-classe de felin |
|
|