| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20109-20109 | DomesticCat は DomesticAnimal の subclass では %n |
| (subclass DomesticCat Feline) | Mid-level-ontology.kif 20110-20110 | DomesticCat は 猫科動物 の subclass では %n |
| (subclass Kitten DomesticCat) | Mid-level-ontology.kif 20114-20114 | Kitten は DomesticCat の subclass では %n |
|
|