No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14477-14477 |
Bacterium is a subclass of microorganism |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1614-1614 |
Malarial plasmodium is a subclass of microorganism |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6266-6266 |
Protozoa is a subclass of microorganism |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14500-14500 |
Virus is a subclass of microorganism |
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 |
|