| HepatitisAVirus(hepatitisA virus) | | hepatitis_A_virus |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1782-1782 | Ingesting is a biochemical agent delivery of hepatitisA virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1783-1783 | Injecting is a biochemical agent delivery of hepatitisA virus |
| 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. | WMD.kif 1784-1784 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1780-1780 | HepatitisA virus is a subclass of hepatitis virus |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27963-27963 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27962-27962 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27961-27961 |
|
|
|