No TPTP formula. May not be expressible in strict first order. | WMD.kif 246-246 | 立克次体代理人 是 细菌剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 252-252 | 立克次体立克次体 是 立克次体代理人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 266-266 | 立克次氏体 是 立克次体代理人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1248-1248 | Coxiella burnetii 是 立克次体代理人 的 subclass |
![]() |