| 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 |
|
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