No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1100-1100 | Virus part is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1115-1115 | Virus core envelope is a subclass of virus part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | Virus outer membrane is a subclass of virus part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1123-1123 | Palisade is a subclass of virus part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1152-1152 | Viral core is a subclass of virus part |