| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 29775-29778 | |
| (subclass DomesticAnimal Animal) | Mid-level-ontology.kif 19340-19340 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 19389-19389 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 19401-19401 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 19467-19467 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 19486-19486 | |
| (subclass Cow DomesticAnimal) | Mid-level-ontology.kif 19500-19500 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 29964-29964 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 29982-29982 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 29994-29994 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 4363-4363 |
|
|