No TPTP formula. May not be expressible in strict first order. | WMD.kif 1770-1770 | Hepatitis virus is a subclass of viral agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1780-1780 | HepatitisA virus is a subclass of hepatitis virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1793-1793 | HepatitisB virus is a subclass of hepatitis virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1804-1804 | HepatitisC virus is a subclass of hepatitis virus |