No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10879-10879 | Cell part is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 435-435 | Cytoplasm is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 439-439 | Protein synthesis tool is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 443-443 | Cell membrane is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 446-446 | Cell wall is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 493-493 | Lipid bilayer is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 537-537 | Hydrophobic side is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 548-548 | Hydrophilic side is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 578-578 | Chromosome is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 597-597 | Chromotin is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 619-619 | Nucleosome is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1050-1050 | Cytoskeleton is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1053-1053 | Endomembrane is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1080-1080 | Cell internal membrane group is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10889-10889 | Cell nucleus is a subclass of cell part |