DiploidCell
|
|
appearance as argument number 1 |
(documentation DiploidCell EnglishLanguage "DiploidCells have a set of two (2) homologous Chromosome, usually one from the mother and from the father. [Wikipedia]") | VirusProteinAndCellPart.kif 892-893 | |
(subclass DiploidCell SomaticCell) | VirusProteinAndCellPart.kif 890-890 | DiploidCell ist eine teilkategorie von SomaticCell |
(subclass DiploidCell Zygote) | VirusProteinAndCellPart.kif 891-891 | DiploidCell ist eine teilkategorie von Zygote |
appearance as argument number 2 |
(termFormat EnglishLanguage DiploidCell "diploid cell") | VirusProteinAndCellPart.kif 894-894 |
consequent |
(=> (and (instance ?A AegilopsGrass) (part ?C ?A) (instance ?C ?CLASS)) (subclass ?CLASS DiploidCell)) |
Economy.kif 3840-3845 |
|
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 2) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL DiploidCell)) |
VirusProteinAndCellPart.kif 896-905 |
|
(=> (and (instance ?COLL HomologousChromosomeSet) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL DiploidCell)) |
VirusProteinAndCellPart.kif 907-913 |
|
(=> (and (instance ?E EinkornWheatGrass) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell)) |
Economy.kif 3934-3939 |
|
(=> (and (instance ?E TriticumUrartu) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell)) |
Economy.kif 3948-3953 |
|