| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30385-30388 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20016-20016 | 子類 家畜 and Animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20081-20081 | 子類 家貓 and 家畜 |
| 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 20159-20159 | 子類 馬騾 and 家畜 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | 子類 羊 and 家畜 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | 子類 牛 and 家畜 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30574-30574 | 子類 Ferret and 家畜 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30592-30592 | 子類 GuineaPig and 家畜 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30604-30604 | 子類 Hamster and 家畜 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4887-4887 | 子類 家畜 and 家畜 |
|
|