| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 32317-32320 | |
| (subclass DomesticAnimal Animal) | Mid-level-ontology.kif 21604-21604 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 21699-21699 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 21711-21711 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 21777-21777 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 21796-21796 | |
| (subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 21810-21810 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 32522-32522 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 32540-32540 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 32552-32552 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 5227-5227 |
|
|