DengueFever(dengue fever)![]() ![]() ![]() ![]() | ![]() | breakbone_fever, dandy_fever, dengue, dengue_fever |
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 6366-6366 | |
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 6367-6367 | |
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 5956-5956 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1646-1646 | Dengue fever is an instance of viral disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1647-1647 | Dengue fever is internally related to dengue hemorrhagic fever |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1639-1639 | Dengue fever is a biochemical agent syndrome of dengue fever virus |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19023-19023 | Dengue fever is a biochemical agent syndrome of dengue fever virus |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19022-19022 | Dengue fever is a biochemical agent syndrome of dengue fever virus |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19021-19021 | Dengue fever is a biochemical agent syndrome of dengue fever virus |
![]() |
![]() |