(subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20109-20109 | DomesticCat est une sous-classe de DomesticAnimal |
(subclass DomesticCat Feline) | Mid-level-ontology.kif 20110-20110 | DomesticCat est une sous-classe de felin |
(subclass Kitten DomesticCat) | Mid-level-ontology.kif 20114-20114 | Kitten est une sous-classe de DomesticCat |