TreeView Knowledge Base Browser - RockyMountainSpottedFever

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 261-261	落基山斑疹熱是對於 Ingesting 的 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	例落基山斑疹熱 and 細菌性疾病
No TPTP formula. May not be expressible in strict first order.	WMD.kif 259-259	例落基山斑疹熱 and 危及生命的疾病

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