(=> (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 |
![]() |