No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 276-276 | 人类的孩子 是 人类青年 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 350-350 | 男孩 是 人类的孩子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 361-361 | 女孩 是 人类的孩子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 372-372 | 人类宝贝 是 人类的孩子 的 subclass |