No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 100-100 |
子類 DNA病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 141-141 |
子類 籠罩病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 126-126 |
子類 RNA病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2017-2017 |
子類 蜱傳腦炎病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 137-137 |
子類 無包膜病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 231-231 |
子類 病毒劑 and Virus |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 146-146 |
子類 病毒雙重擱淺 and Virus |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 150-150 |
子類 病毒單一擱淺 and Virus |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 975-975 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1157-1157 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 652-652 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 183-183 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 186-186 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2336-2336 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 604-604 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 220-220 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 673-673 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 187-187 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1111-1111 |
病毒基因組 typically 是 Virus 的 part |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1136-1136 |
病毒酶 typically 是 Virus 的 part |