|
|
  RockyMountainSpottedFever
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 261-261 | diseaseMedicine RockyMountainSpottedFever, OralAntibiotic and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 260-260 | diseaseMortality RockyMountainSpottedFever and 0.04 |
| 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 | RockyMountainSpottedFever e' uma instancia de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 259-259 | RockyMountainSpottedFever e' uma instancia de LifeThreateningDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 254-254 | biochemicalAgentSyndrome RickettsiaRickettsii and RockyMountainSpottedFever |
| 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 |
|
|
|
