| Tularemia(tularemia) | | deer_fly_fever, rabbit_fever, tularaemia, tularemia, yatobyo |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1216-1216 | 0.05 is a disease mortality of tularemia |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1215-1215 | A fever is a disease symptom of tularemia |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1217-1218 | A fever is a disease symptom of tularemia |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1214-1214 | Tularemia is an instance of bacterial disease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1206-1206 | Tularemia is a biochemical agent syndrome of francisella tularensis |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59410-59410 | Tularemia is a biochemical agent syndrome of francisella tularensis |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59409-59409 | Tularemia is a biochemical agent syndrome of francisella tularensis |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59408-59408 | Tularemia is a biochemical agent syndrome of francisella tularensis |
|
|
|