No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1641-1641 |
注射 是 登革热病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1639-1639 |
登革热 是 登革热病毒 的 biochemical 病毒征兆 |
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 1638-1638 |
Mosquito 是 登革热病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1642-1644 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4644-4644 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1637-1637 |
登革热病毒 是 病毒剂 的 subclass |