No TPTP formula. May not be expressible in strict first order. | WMD.kif 1770-1770 | HepatitisVirus est une sous-classe de ViralAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1780-1780 | HepatitisAVirus est une sous-classe de HepatitisVirus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1793-1793 | HepatitisBVirus est une sous-classe de HepatitisVirus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1804-1804 | HepatitisCVirus est une sous-classe de HepatitisVirus |
![]() |