No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1207-1207 |
呼吸 是 弗朗西斯 土拉弗朗西斯菌 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1206-1206 |
兔热病 是 弗朗西斯 土拉弗朗西斯菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1205-1205 |
蛛形䋞动物 是 弗朗西斯 土拉弗朗西斯菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1204-1204 |
啮齿动物 是 弗朗西斯 土拉弗朗西斯菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1208-1212 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4695-4695 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1203-1203 |
弗朗西斯 土拉弗朗西斯菌 是 细菌剂 的 subclass |