| Anthrax
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1141-1141 | diseaseIncubation Anthrax, 1 HourDuration(s) and 2 HourDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1140-1140 | diseaseMedicine Anthrax, Ciprofloxacin and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1139-1139 | diseaseMedicine Anthrax, Doxycycline and ing�rer |
| 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 | Anthrax est une instance de BacterialDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 280-280 | biochemicalAgentSyndrome BacillusAnthracis and Anthrax |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1145-1145 | InhalationalAnthrax est un sous-attribut de Anthrax |
| 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 |
|
|
|