| RockyMountainSpottedFever(rocky mountain spotted fever)
| | Rocky_Mountain_spotted_fever, mountain_fever, tick_fever |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 261-261 | Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 260-260 | 0.04 is a disease mortality of rocky mountain spotted fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 262-264 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7739-7739 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6826-6826 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 258-258 | Rocky mountain spotted fever is an instance of bacterial disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 259-259 | Rocky mountain spotted fever is an instance of life threatening disease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 254-254 | Rocky mountain spotted fever is a biochemical agent syndrome of rickettsia rickettsii |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50246-50246 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50245-50245 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50244-50244 |
|
|
|