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 12639-12639 |
|