No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14455-14455 |
细菌 是 微生物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1614-1614 |
疟疾疟原虫 是 微生物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6267-6267 |
原生动物 是 微生物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14478-14478 |
病毒 是 微生物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 973-973 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1153-1153 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 650-650 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 181-181 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 184-184 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2334-2334 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 602-602 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 671-671 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 185-185 |
|