No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1628-1628 |
注射 是 西尼罗河病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1627-1627 |
西尼罗河热 是 西尼罗河病毒 的 biochemical 病毒征兆 |
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. |
WMD.kif 1629-1629 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4852-4852 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1625-1625 |
西尼罗河病毒 是 病毒剂 的 subclass |