|
|
  Pertussis
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1580-1580 | 百日咳 对于 %3 disease 孵化 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1579-1579 | 百日咳 是 对于 消化 的 disease 治愈 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1581-1583 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1577-1577 | 百日咳 是 细菌性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1578-1578 | 百日咳 是 可预防的疾病 的 instance |
| appearance as argument number 2 |
|
|
| 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. | domainEnglishFormat.kif 45348-45348 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45347-45347 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45346-45346 |
|
|
|