No TPTP formula. May not be expressible in strict first order. | Merge.kif 14478-14478 | Virus is a subclass of microorganism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 231-231 | Viral agent is a subclass of virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2017-2017 | Tick borne encephalitis virus is a subclass of virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 100-100 | DNA virus is a subclass of virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 126-126 | RNA virus is a subclass of virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 137-137 | Unenveloped virus is a subclass of virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 141-141 | Enveloped virus is a subclass of virus |
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. | VirusProteinAndCellPart.kif 150-150 | Virus single stranded is a subclass of virus |