| 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 23995-23999 | |
| (subclass Zygote EukaryoticCell) | Mid-level-ontology.kif 23992-23992 | Zygote est une sous-classe de EukaryoticCell |
| appearance as argument number 2 |
|
|
| (subclass DecaploidCell Zygote) | VirusProteinAndCellPart.kif 1038-1038 | DecaploidCell est une sous-classe de Zygote |
| (subclass DiploidCell Zygote) | VirusProteinAndCellPart.kif 891-891 | DiploidCell est une sous-classe de Zygote |
| (subclass DodecaploidCell Zygote) | VirusProteinAndCellPart.kif 1044-1044 | DodecaploidCell est une sous-classe de Zygote |
| (subclass HeptaploidCell Zygote) | VirusProteinAndCellPart.kif 1026-1026 | HeptaploidCell est une sous-classe de Zygote |
| (subclass HexaploidCell Zygote) | VirusProteinAndCellPart.kif 987-987 | HexaploidCell est une sous-classe de Zygote |
| (subclass MonoploidCell Zygote) | VirusProteinAndCellPart.kif 750-750 | MonoploidCell est une sous-classe de Zygote |
| (subclass OctaploidCell Zygote) | VirusProteinAndCellPart.kif 1032-1032 | OctaploidCell est une sous-classe de Zygote |
| (subclass PentaploidCell Zygote) | VirusProteinAndCellPart.kif 969-969 | PentaploidCell est une sous-classe de Zygote |
| (subclass TetraploidCell Zygote) | VirusProteinAndCellPart.kif 934-934 | TetraploidCell est une sous-classe de Zygote |
| (subclass TriploidCell Zygote) | VirusProteinAndCellPart.kif 916-916 | TriploidCell est une sous-classe de Zygote |
| (termFormat EnglishLanguage Zygote "zygote") | Mid-level-ontology.kif 23993-23993 |
| 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 24019-24028 | |
| (=> (instance ?F Fertilisation) (exists (?Z) (and (instance ?Z Zygote) (result ?F ?Z)))) |
Mid-level-ontology.kif 24001-24006 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners