|
|
  Diphtheria
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1903-1903 | 白喉 对于 %3 disease 孵化 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1904-1904 | 发热 是 白喉 的 disease 病状 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1905-1907 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4656-4656 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1901-1901 | 白喉 是 细菌性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1902-1902 | 白喉 是 危及生命的疾病 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1897-1897 | 白喉 是 白喉棒状杆菌 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19590-19590 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19589-19589 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19588-19588 |
|
|
|
