(=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 30385-30388 |
|
(subclass DomesticAnimal Animal) | Mid-level-ontology.kif 20016-20016 | DomesticAnimal est une sous-classe de animal |
(subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20081-20081 | DomesticCat est une sous-classe de DomesticAnimal |
(subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 20093-20093 | DomesticDog est une sous-classe de DomesticAnimal |
(subclass Mule DomesticAnimal) | Mid-level-ontology.kif 20159-20159 | Mule est une sous-classe de DomesticAnimal |
(subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20178-20178 | Sheep est une sous-classe de DomesticAnimal |
(subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 20192-20192 | Cattle est une sous-classe de DomesticAnimal |
(subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 30574-30574 | Ferret est une sous-classe de DomesticAnimal |
(subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 30592-30592 | GuineaPig est une sous-classe de DomesticAnimal |
(subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 30604-30604 | Hamster est une sous-classe de DomesticAnimal |
(subclass Livestock DomesticAnimal) | Economy.kif 4887-4887 | Livestock est une sous-classe de DomesticAnimal |