DengueFever - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1648-1649
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6367-6367
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6370-6370
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6368-6368
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6369-6369
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5957-5957
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1646-1646	例登革熱 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1647-1647	相關的內部概念登革熱 and 登革熱出血熱

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1639-1639	登革熱是登革熱病毒的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19014-19014
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19013-19013
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19012-19012