No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 146-146 | Virus double stranded is a subclass of virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1512-1512 | Herpes virus is a subclass of virus double stranded |