HemorrhagicFever(hemorrhagic fever) | VHF, haemorrhagic_fever, hemorrhagic_fever, viral_haemorrhagic_fever, viral_hemorrhagic_fever |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1120-1122 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1119-1119 | Hemorrhagic fever is a subclass of viral disease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1931-1931 | Argentinian hemorrhagic fever is an instance of hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1943-1943 | Bolivian hemorrhagic fever is an instance of hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1963-1963 | Brazilian hemorrhagic fever is an instance of hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1909-1909 | Crimean congo hemorrhagic fever is an instance of hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1651-1651 | Dengue hemorrhagic fever is an instance of hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1199-1199 | Ebola hemorrhagic fever is an instance of hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1953-1953 | Venezuelan hemorrhagic fever is an instance of hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27921-27921 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27920-27920 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27919-27919 |