No TPTP formula. May not be expressible in strict first order.	WMD.kif 253-253	节肢动物 是 立克次体立克次体 的病毒传递者
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 1673-1673	鸟 是 圣路易斯脑炎病毒 的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1674-1674	Mosquito 是 圣路易斯脑炎病毒 的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1455-1455	软体动物 是 石房蛤毒素 的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2024-2024	Tick 是 蜱传脑炎病毒 的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1626-1626	Mosquito 是 西尼罗河病毒 的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 408-408	昆虫 是 鼠疫耶尔森氏菌 的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 407-407	啮齿动物 是 鼠疫耶尔森氏菌 的病毒传递者

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners