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