TreeView Knowledge Base Browser - JapaneseEncephalitis

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1713-1713	日本腦炎對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1714-1714	0.30 是日本腦炎的 disease 死亡
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1715-1717
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4898-4898
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1711-1711	例日本腦炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1712-1712	例日本腦炎 and 可預防的疾病
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1710-1710	例日本腦炎 and 病毒性疾病

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1705-1705	日本腦炎是日本腦炎病毒的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31459-31459
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31458-31458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31457-31457