|
|
  LaCrosseEncephalitis
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1667-1667 | 0.01 is a disease mortality of la crosse encephalitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1668-1670 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1666-1666 | La crosse encephalitis is an instance of viral disease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1662-1662 | La crosse encephalitis is a biochemical agent syndrome of la crosse virus |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33067-33067 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33066-33066 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33065-33065 |
|
|
|