|
|
  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 | 鼠疫 是 细菌性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 412-412 | 鼠疫 是 可预防的疾病 的 instance |
| 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 | 腺鼠疫 是 鼠疫 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 423-423 | 肺鼠疫 是 鼠疫 的 subAttribute |
| 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 |
|
|
|
