No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1248-1248 |
子類 coxiella burnetii 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 252-252 |
子類 立克次體立克次體 and 立克次體代理人 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49964-49964 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49963-49963 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49962-49962 |
|