No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1204-1204 |
啮齿动物 是 弗朗西斯 土拉弗朗西斯菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1365-1365 |
啮齿动物 是 贾第鞭毛虫 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1925-1925 |
啮齿动物 是 junin病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1660-1660 |
啮齿动物 是 拉克罗斯病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1860-1860 |
啮齿动物 是 拉萨病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1938-1938 |
啮齿动物 是 machupo病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1404-1404 |
啮齿动物 是 Myxomatosis 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 407-407 |
啮齿动物 是 鼠疫耶尔森氏菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30603-30603 |
GuineaPig 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30615-30615 |
Hamster 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20378-20378 |
老鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20386-20386 |
兔子 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20382-20382 |
鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20396-20396 |
松鼠 是 啮齿动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 997-997 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1201-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 674-674 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 205-205 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 208-208 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2358-2358 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 626-626 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 210-210 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 242-242 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 695-695 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |