| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20082-20082 | 家猫 是 家畜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20083-20083 | 家猫 是 猫科动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20087-20087 | Kitten 是 家猫 的 subclass |
|
|