RockyMountainSpottedFever - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 261-261	落基山斑疹热是对于消化的 disease 治愈口服抗生素
No TPTP formula. May not be expressible in strict first order.	WMD.kif 260-260	0.04 是落基山斑疹热的 disease 死亡
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	落基山斑疹热是细菌性疾病的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 259-259	落基山斑疹热是危及生命的疾病的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 254-254	落基山斑疹热是立克次体立克次体的 biochemical 病毒征兆
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