| No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | 子類 病毒劑 and 有毒生物 |
| 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. | WMD.kif 1173-1173 | 子類 黃熱病病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1186-1186 | 子類 口蹄疫病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1195-1195 | 子類 伊波拉病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1232-1232 | 子類 猴痘病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1254-1254 | 子類 天花專業 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1259-1259 | 子類 小天花 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1347-1347 | 子類 HIV病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1402-1402 | 子類 Myxomatosis and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1418-1418 | 子類 委內瑞拉馬腦炎病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1511-1511 | 子類 HerpesVirus and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1625-1625 | 子類 西尼羅河病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1637-1637 | 子類 登革熱病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1658-1658 | 子類 拉克羅斯病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1672-1672 | 子類 聖路易斯腦炎病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1688-1688 | 子類 東部馬腦炎病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1702-1702 | 子類 日本腦炎病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1734-1734 | 子類 馬爾堡病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1770-1770 | 子類 肝炎病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1816-1816 | 子類 輪狀病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1856-1856 | 子類 拉薩病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1918-1918 | 子類 克里米亞剛果出血熱病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1924-1924 | 子類 junin病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1937-1937 | 子類 machupo病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1949-1949 | 子類 瓜納里託病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1959-1959 | 子類 sabia病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1969-1969 | 子類 屈曲病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2051-2051 | 子類 亨德拉病毒 and 病毒劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2057-2057 | 子類 尼帕病毒 and 病毒劑 |
|
|