| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 30421-30424 | |
| (subclass DomesticAnimal Animal) | Mid-level-ontology.kif 20044-20044 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20109-20109 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 20121-20121 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 20187-20187 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20206-20206 | |
| (subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 20220-20220 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 30610-30610 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 30628-30628 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 30640-30640 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 4887-4887 |
|
|