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	登革热是病毒性疾病的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1647-1647	登革热和登革热出血热是内部相关

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