| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 276-276 | 子類 人類的孩子 and 人類青年 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 350-350 | 子類 男孩 and 人類的孩子 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 361-361 | 子類 女孩 and 人類的孩子 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 372-372 | 子類 人類寶貝 and 人類的孩子 |
|
|