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 | |
(subclass DiploidCell Zygote) | VirusProteinAndCellPart.kif 891-891 |
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 |