| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23991-23991 | Zygote est une sous-classe de EukaryoticCell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 749-749 | MonoploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 890-890 | DiploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 915-915 | TriploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 933-933 | TetraploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 968-968 | PentaploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 986-986 | HexaploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1025-1025 | HeptaploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1031-1031 | OctaploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1037-1037 | DecaploidCell est une sous-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1043-1043 | DodecaploidCell est une sous-classe de Zygote |
|
|