| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23937-23937 | Somatic cell is a subclass of eukaryotic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 748-748 | Monoploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 889-889 | Diploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 914-914 | Triploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 932-932 | Tetraploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 967-967 | Pentaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 985-985 | Hexaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1024-1024 | Heptaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1030-1030 | Octaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1036-1036 | Decaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1042-1042 | Codecaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10150-10150 | Blood cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10752-10752 | Nerve cell is a subclass of somatic cell |
|
|