|
|
  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 Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1139-1139 | diseaseMedicine Anthrax, Doxycycline and Ingerir |
| 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 e' uma instancia 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 e' um sub-atributo 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 |
|
|
|
