| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23992-23992 | Zygote is a subclass of eukaryotic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 750-750 | Monoploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 891-891 | Diploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 916-916 | Triploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 934-934 | Tetraploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 969-969 | Pentaploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 987-987 | Hexaploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1026-1026 | Heptaploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1032-1032 | Octaploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1038-1038 | Decaploid cell is a subclass of zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1044-1044 | Codecaploid cell is a subclass of zygote |
|
|