|
|
  Plague
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 413-413 | 發熱 是 鼠疫 的 disease 病狀 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 414-416 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10191-10191 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11619-11619 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11620-11620 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11621-11621 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 411-411 | 例 鼠疫 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 412-412 | 例 鼠疫 and 可預防的疾病 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 406-406 | 鼠疫 是 鼠疫耶爾森氏菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 418-418 | 子屬性 腺鼠疫 and 鼠疫 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 423-423 | 子屬性 肺鼠疫 and 鼠疫 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46002-46002 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46001-46001 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46000-46000 |
|
|
|
