No TPTP formula. May not be expressible in strict first order. | Merge.kif 14667-14667 | 啮齿动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20405-20405 | 老鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20409-20409 | 鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20413-20413 | 兔子 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20423-20423 | 松鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30627-30627 | GuineaPig 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30639-30639 | Hamster 是 啮齿动物 的 subclass |