No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1940-1940 |
呼吸 是 machupo病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1939-1939 |
玻利维亚出血热 是 machupo病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1938-1938 |
啮齿动物 是 machupo病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1941-1941 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1937-1937 |
Machupo病毒 是 病毒剂 的 subclass |