| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 28574-28577 | |
| (subclass DomesticAnimal Animal) | Mid-level-ontology.kif 17805-17805 | |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 17856-17856 | |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 17867-17867 | |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 17935-17935 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 17954-17954 | |
| (subclass Cow DomesticAnimal) | Mid-level-ontology.kif 17968-17968 | |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 28763-28763 | |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 28781-28781 | |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 28793-28793 | |
| (subclass Livestock DomesticAnimal) | Economy.kif 4210-4210 |
|
|