| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23938-23938 | Somatic cell is a subclass of eukaryotic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 749-749 | Monoploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 890-890 | Diploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 915-915 | Triploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 933-933 | Tetraploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 968-968 | Pentaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 986-986 | Hexaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1025-1025 | Heptaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1031-1031 | Octaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1037-1037 | Decaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1043-1043 | Codecaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10151-10151 | Blood cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10753-10753 | Nerve cell is a subclass of somatic cell |
|
|