No TPTP formula. May not be expressible in strict first order. |
WMD.kif 374-374 |
呼吸 是 burkholderia 假单胞菌 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 375-375 |
消化 是 burkholderia 假单胞菌 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 373-373 |
注射 是 burkholderia 假单胞菌 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 376-376 |
类鼻疽 是 burkholderia 假单胞菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 372-372 |
哺乳动物 是 burkholderia 假单胞菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 377-378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4571-4571 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 371-371 |
Burkholderia 假单胞菌 是 细菌剂 的 subclass |