| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1204-1204 |
Rodent 是 弗朗西斯 土拉弗朗西斯菌 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1365-1365 |
Rodent 是 賈第鞭毛蟲 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1925-1925 |
Rodent 是 junin病毒 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1660-1660 |
Rodent 是 拉克羅斯病毒 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1860-1860 |
Rodent 是 拉薩病毒 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1938-1938 |
Rodent 是 machupo病毒 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1404-1404 |
Rodent 是 Myxomatosis 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 407-407 |
Rodent 是 鼠疫耶爾森氏菌 的病毒傳遞者 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30603-30603 |
子類 GuineaPig and Rodent |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30615-30615 |
子類 Hamster and Rodent |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20378-20378 |
子類 老鼠 and Rodent |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20386-20386 |
子類 兔子 and Rodent |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20382-20382 |
子類 鼠 and Rodent |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20396-20396 |
子類 松鼠 and Rodent |
| 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 |
