|
|
  HepatitisA
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1788-1788 | diseaseSymptom HepatitisA and Fever |
| 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 | HepatitisA e' uma instancia de Hepatitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1787-1787 | HepatitisA e' uma instancia de VaccinatableDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1781-1781 | biochemicalAgentSyndrome HepatitisAVirus and HepatitisA |
| 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 |
|
|
|
