No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23992-23992 | Zygote 是 真核细胞 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 750-750 | MonoploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 891-891 | DiploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 916-916 | TriploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 934-934 | TetraploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 969-969 | PentaploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 987-987 | HexaploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1026-1026 | HeptaploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1032-1032 | OctaploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1038-1038 | DecaploidCell 是 Zygote 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1044-1044 | DodecaploidCell 是 Zygote 的 subclass |