| No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | 病毒剂 是 有毒生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 231-231 | 病毒剂 是 病毒 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1173-1173 | 黄热病病毒 是 病毒剂 的 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 1195-1195 | 伊波拉病毒 是 病毒剂 的 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 1254-1254 | 天花专业 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1259-1259 | 小天花 是 病毒剂 的 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 1402-1402 | Myxomatosis 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1418-1418 | 委内瑞拉马脑炎病毒 是 病毒剂 的 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 1625-1625 | 西尼罗河病毒 是 病毒剂 的 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 1658-1658 | 拉克罗斯病毒 是 病毒剂 的 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 1688-1688 | 东部马脑炎病毒 是 病毒剂 的 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 1734-1734 | 马尔堡病毒 是 病毒剂 的 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 1816-1816 | 轮状病毒 是 病毒剂 的 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 1918-1918 | 克里米亚刚果出血热病毒 是 病毒剂 的 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 1937-1937 | Machupo病毒 是 病毒剂 的 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 1959-1959 | Sabia病毒 是 病毒剂 的 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 2051-2051 | 亨德拉病毒 是 病毒剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2057-2057 | 尼帕病毒 是 病毒剂 的 subclass |
|
|