HemorrhagicFever |
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 | HemorrhagicFever e' uma sub-classe de ViralDisease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1931-1931 | ArgentinianHemorrhagicFever e' uma instancia de HemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1943-1943 | BolivianHemorrhagicFever e' uma instancia de HemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1963-1963 | BrazilianHemorrhagicFever e' uma instancia de HemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1909-1909 | CrimeanCongoHemorrhagicFever e' uma instancia de HemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1651-1651 | DengueHemorrhagicFever e' uma instancia de HemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1199-1199 | EbolaHemorrhagicFever e' uma instancia de HemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1953-1953 | VenezuelanHemorrhagicFever e' uma instancia de HemorrhagicFever |
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 |