No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1141-1141 |
Anthrax disease incubation 1 hour duration(s) for 2 hour duration(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1140-1140 |
Anthrax is disease treatment ciprofloxacin for ingesting |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1139-1139 |
Anthrax is disease treatment doxycycline for ingesting |
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 is an instance of bacterial disease |