No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1588-1588 |
呼吸 是 百日咳博德特氏菌 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1587-1587 |
百日咳 是 百日咳博德特氏菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1586-1586 |
人类 是 百日咳博德特氏菌 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1589-1589 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 943-943 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1585-1585 |
百日咳博德特氏菌 是 细菌剂 的 subclass |