TreeView Knowledge Base Browser - BrazilianHemorrhagicFever

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1964-1964	發熱是巴西出血熱的 disease 病狀
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1965-1967
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10549-10549
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10547-10547
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10546-10546
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9914-9914
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10548-10548
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1963-1963	例巴西出血熱 and 出血熱

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1960-1960	巴西出血熱是 sabia病毒的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11849-11849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11848-11848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11847-11847