HepatitisA
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1788-1788 | Fever is a disease symptom of hepatitis a |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1789-1791 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7048-7048 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1786-1786 | Hepatitis a is an instance of hepatitis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1787-1787 | Hepatitis a is an instance of vaccinatable disease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1781-1781 | Hepatitis a is a biochemical agent syndrome of hepatitisA virus |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27957-27957 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27956-27956 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27955-27955 |