TreeView Knowledge Base Browser - EasternEquineEncephalitisVirus

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1690-1690	注射是東部馬腦炎病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1691-1691	東部馬腦炎是東部馬腦炎病毒的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1689-1689	Mosquito 是東部馬腦炎病毒的病毒傳遞者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1692-1694
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9167-9167
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8459-8459
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1688-1688	子類東部馬腦炎病毒 and 病毒劑

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20880-20880
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20879-20879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20878-20878