Zygote |
appearance as argument number 1 |
(documentation Zygote EnglishLanguage "A zygote is a EukaryoticCell formed by a Fertilization event between two Gametes. The zygote's genome is a combination of the DNAMolecule in each gamete, and contains all of the genetic information necessary to form a new individual Organism. [from Wikipedia]") | Mid-level-ontology.kif 24052-24056 | |
(subclass Zygote EukaryoticCell) | Mid-level-ontology.kif 24049-24049 | Zygote は EukaryoticCell の subclass では %n |
appearance as argument number 2 |
(subclass DecaploidCell Zygote) | VirusProteinAndCellPart.kif 1039-1039 | DecaploidCell は Zygote の subclass では %n |
(subclass DiploidCell Zygote) | VirusProteinAndCellPart.kif 890-890 | DiploidCell は Zygote の subclass では %n |
(subclass DodecaploidCell Zygote) | VirusProteinAndCellPart.kif 1045-1045 | DodecaploidCell は Zygote の subclass では %n |
(subclass HeptaploidCell Zygote) | VirusProteinAndCellPart.kif 1027-1027 | HeptaploidCell は Zygote の subclass では %n |
(subclass HexaploidCell Zygote) | VirusProteinAndCellPart.kif 986-986 | HexaploidCell は Zygote の subclass では %n |
(subclass MonoploidCell Zygote) | VirusProteinAndCellPart.kif 749-749 | MonoploidCell は Zygote の subclass では %n |
(subclass OctaploidCell Zygote) | VirusProteinAndCellPart.kif 1033-1033 | OctaploidCell は Zygote の subclass では %n |
(subclass PentaploidCell Zygote) | VirusProteinAndCellPart.kif 968-968 | PentaploidCell は Zygote の subclass では %n |
(subclass TetraploidCell Zygote) | VirusProteinAndCellPart.kif 933-933 | TetraploidCell は Zygote の subclass では %n |
(subclass TriploidCell Zygote) | VirusProteinAndCellPart.kif 915-915 | TriploidCell は Zygote の subclass では %n |
(termFormat EnglishLanguage Zygote "zygote") | Mid-level-ontology.kif 24050-24050 |
consequent |
(=> (and (instance ?B Birth) (origin ?B ?F)) (exists (?Z ?T) (and (instance ?Z Zygote) (earlier ?T (WhenFn ?B)) (holdsDuring ?T (located ?Z ?F))))) |
Mid-level-ontology.kif 24076-24085 | |
(=> (instance ?F Fertilisation) (exists (?Z) (and (instance ?Z Zygote) (result ?F ?Z)))) |
Mid-level-ontology.kif 24058-24063 |