No TPTP formula. May not be expressible in strict first order. | Merge.kif 14648-14648 | 灵长类动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30459-30459 | Lemur 是 灵长类动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14653-14653 | 猿 是 灵长类动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14657-14657 | 猴子 是 灵长类动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14661-14661 | 原始人类 是 灵长类动物 的 subclass |
![]() |