| SaintLouisEncephalitis
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1682-1682 | diseaseIncubation SaintLouisEncephalitis, 5 DayDuration(s) and 15 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1683-1683 | diseaseSymptom SaintLouisEncephalitis and Fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1684-1686 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10240-10240 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11783-11783 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1681-1681 | SaintLouisEncephalitis e' uma instancia de LifeThreateningDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1680-1680 | SaintLouisEncephalitis e' uma instancia de ViralDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1676-1676 | biochemicalAgentSyndrome SaintLouisEncephalitisVirus and SaintLouisEncephalitis |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50835-50835 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50834-50834 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50833-50833 |
|
|
|