(=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 30397-30400 |
|
(subclass DomesticAnimal Animal) | Mid-level-ontology.kif 20017-20017 | DomesticAnimal e' uma sub-classe de Animal |
(subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20082-20082 | DomesticCat e' uma sub-classe de DomesticAnimal |
(subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 20094-20094 | DomesticDog e' uma sub-classe de DomesticAnimal |
(subclass Mule DomesticAnimal) | Mid-level-ontology.kif 20160-20160 | Mule e' uma sub-classe de DomesticAnimal |
(subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20179-20179 | Sheep e' uma sub-classe de DomesticAnimal |
(subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 20193-20193 | Cattle e' uma sub-classe de DomesticAnimal |
(subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 30586-30586 | Ferret e' uma sub-classe de DomesticAnimal |
(subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 30604-30604 | GuineaPig e' uma sub-classe de DomesticAnimal |
(subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 30616-30616 | Hamster e' uma sub-classe de DomesticAnimal |
(subclass Livestock DomesticAnimal) | Economy.kif 4887-4887 | Livestock e' uma sub-classe de DomesticAnimal |