| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1918-1918 |
克里米亚刚果出血热病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1637-1637 |
登革热病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1688-1688 |
东部马脑炎病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1195-1195 |
伊波拉病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1969-1969 |
屈曲病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1186-1186 |
口蹄疫病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1949-1949 |
瓜纳里托病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1347-1347 |
HIV病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2051-2051 |
亨德拉病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1770-1770 |
肝炎病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1511-1511 |
HerpesVirus 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1702-1702 |
日本脑炎病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1924-1924 |
Junin病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1658-1658 |
拉克罗斯病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1856-1856 |
拉萨病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1937-1937 |
Machupo病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1734-1734 |
马尔堡病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1232-1232 |
猴痘病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1402-1402 |
Myxomatosis 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2057-2057 |
尼帕病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1816-1816 |
轮状病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1959-1959 |
Sabia病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1672-1672 |
圣路易斯脑炎病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1254-1254 |
天花专业 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1259-1259 |
小天花 是 病毒剂 的 subclass |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
ViralAgent