| (=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal))) |
Mid-level-ontology.kif 30397-30400 | |
| (subclass DomesticAnimal Animal) | Mid-level-ontology.kif 20017-20017 | 子類 家畜 and Animal |
| (subclass DomesticCat DomesticAnimal) | Mid-level-ontology.kif 20082-20082 | 子類 家貓 and 家畜 |
| (subclass DomesticDog DomesticAnimal) | Mid-level-ontology.kif 20094-20094 | 子類 家養的狗 and 家畜 |
| (subclass Mule DomesticAnimal) | Mid-level-ontology.kif 20160-20160 | 子類 馬騾 and 家畜 |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20179-20179 | 子類 羊 and 家畜 |
| (subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 20193-20193 | 子類 牛 and 家畜 |
| (subclass Ferret DomesticAnimal) | Mid-level-ontology.kif 30586-30586 | 子類 Ferret and 家畜 |
| (subclass GuineaPig DomesticAnimal) | Mid-level-ontology.kif 30604-30604 | 子類 GuineaPig and 家畜 |
| (subclass Hamster DomesticAnimal) | Mid-level-ontology.kif 30616-30616 | 子類 Hamster and 家畜 |
| (subclass Livestock DomesticAnimal) | Economy.kif 4887-4887 | 子類 家畜 and 家畜 |
|
|