| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1770-1770 | HepatitisVirus e' uma sub-classe de ViralAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1780-1780 | HepatitisAVirus e' uma sub-classe de HepatitisVirus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1793-1793 | HepatitisBVirus e' uma sub-classe de HepatitisVirus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1804-1804 | HepatitisCVirus e' uma sub-classe de HepatitisVirus |
|
|