|
|
  Anthrax
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1141-1141 | 炭疽病 对于 %3 disease 孵化 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1140-1140 | 炭疽病 是 对于 消化 的 disease 治愈 环丙沙星 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1139-1139 | 炭疽病 是 对于 消化 的 disease 治愈 多西环素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1142-1143 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6103-6103 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1138-1138 | 炭疽病 是 细菌性疾病 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 280-280 | 炭疽病 是 炭疽杆菌 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1145-1145 | 吸入性炭疽 是 炭疽病 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7812-7812 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7811-7811 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7810-7810 |
|
|
|
