No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1234-1234 |
注射 是 猴痘病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1233-1233 |
猴痘 是 猴痘病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1235-1235 |
哺乳动物 是 猴痘病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1236-1236 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1232-1232 |
猴痘病毒 是 病毒剂 的 subclass |