| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20093-20093 | 子類 家養的狗 and 家畜 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20094-20094 | 子類 家養的狗 and Canine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20098-20098 | 子類 Puppy and 家養的狗 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20105-20105 | 子類 Poodle and 家養的狗 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20114-20114 | 子類 Sheepdog and 家養的狗 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20121-20121 | 子類 Dachshund and 家養的狗 |
|
|