No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1248-1248 |
Coxiella burnetii 是 立克次体代理人 的 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 252-252 |
立克次体立克次体 是 立克次体代理人 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49966-49966 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49965-49965 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49964-49964 |
|