RockyMountainSpottedFever
|
|
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 50248-50248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50247-50247 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50246-50246 |