No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1640-1640 |
登革熱出血熱 是 登革熱病毒 的 biochemical 病毒徵兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1647-1647 |
相關的內部概念 登革熱 and 登革熱出血熱 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19026-19026 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19025-19025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19024-19024 |
|