No TPTP formula. May not be expressible in strict first order. | Merge.kif 14643-14643 | 啮齿动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20377-20377 | 老鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20381-20381 | 鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20385-20385 | 兔子 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20395-20395 | 松鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30591-30591 | GuineaPig 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30603-30603 | Hamster 是 啮齿动物 的 subclass |
![]() |