| No TPTP formula. May not be expressible in strict first order. | WMD.kif 246-246 | 子類 立克次體代理人 and 細菌劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 252-252 | 子類 立克次體立克次體 and 立克次體代理人 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 266-266 | 子類 立克次氏體 and 立克次體代理人 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1248-1248 | 子類 coxiella burnetii and 立克次體代理人 |
|
|