| EasternEquineEncephalitis(eastern equine encephalitis)
| | equine_encephalitis, equine_encephalomyelitis |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1698-1698 | A fever is a disease symptom of eastern equine encephalitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1699-1700 | A fever is a disease symptom of eastern equine encephalitis |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6417-6417 | A fever is a disease symptom of eastern equine encephalitis |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5973-5973 | A fever is a disease symptom of eastern equine encephalitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1697-1697 | Eastern equine encephalitis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1696-1696 | Eastern equine 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 1691-1691 | Eastern equine encephalitis is a biochemical agent syndrome of eastern equine encephalitis virus |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20883-20883 | Eastern equine encephalitis is a biochemical agent syndrome of eastern equine encephalitis virus |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20882-20882 | Eastern equine encephalitis is a biochemical agent syndrome of eastern equine encephalitis virus |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20881-20881 | Eastern equine encephalitis is a biochemical agent syndrome of eastern equine encephalitis virus |
|
|
|