No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 41-41 |
病毒 详尽无遗地 partition 成 病毒双重搁浅 和 病毒单一搁浅 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1512-1512 |
HerpesVirus 是 病毒双重搁浅 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61760-61760 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61759-61759 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61758-61758 |
|