RickettsialAgent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 248-248	节肢动物是立克次体代理人的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 247-247	哺乳动物是立克次体代理人的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 249-250
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4807-4807
No TPTP formula. May not be expressible in strict first order.	WMD.kif 246-246	立克次体代理人是细菌剂的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1248-1248	Coxiella burnetii 是立克次体代理人的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 266-266	立克次氏体是立克次体代理人的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 252-252	立克次体立克次体是立克次体代理人的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49964-49964
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49963-49963
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49962-49962