No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23991-23991 | Zygote 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 zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 890-890 | Diploid cell is a subclass of zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 915-915 | Triploid cell is a subclass of zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 933-933 | Tetraploid cell is a subclass of zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 968-968 | Pentaploid cell is a subclass of zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 986-986 | Hexaploid cell is a subclass of zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1025-1025 | Heptaploid cell is a subclass of zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1031-1031 | Octaploid cell is a subclass of zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1037-1037 | Decaploid cell is a subclass of zygote |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1043-1043 | Codecaploid cell is a subclass of zygote |
![]() |