| 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 1597-1597 | Fever is a disease symptom of eastern equine encephalitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1598-1599 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6419-6419 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5975-5975 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1596-1596 | Eastern equine encephalitis is an instance of life threatening disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1595-1595 | 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 1590-1590 | 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 20865-20865 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20864-20864 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20863-20863 |
|
|
|