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 1689-1689 |
Mosquito 是 东部马脑炎病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1703-1703 |
Mosquito 是 日本脑炎病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1659-1659 |
Mosquito 是 拉克罗斯病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1615-1615 |
Mosquito 是 疟疾疟原虫 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1674-1674 |
Mosquito 是 圣路易斯脑炎病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1626-1626 |
Mosquito 是 西尼罗河病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12640-12640 |
|