HexaploidCell
|
|
appearance as argument number 1 |
(documentation HexaploidCell EnglishLanguage "HexaploidCell refers to a cell that contains six (6) sets of homologous Chromosomes.") | VirusProteinAndCellPart.kif 988-989 | |
(subclass HexaploidCell SomaticCell) | VirusProteinAndCellPart.kif 986-986 | |
(subclass HexaploidCell Zygote) | VirusProteinAndCellPart.kif 987-987 |
appearance as argument number 2 |
(termFormat EnglishLanguage HexaploidCell "hexaploid cell") | VirusProteinAndCellPart.kif 990-990 |
antecedent |
(=> (and (instance ?CELL HexaploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome)) (exists (?A ?B ?C) (and (instance ?A HomologousChromosomeSet) (subCollection ?A ?COLL) (instance ?B HomologousChromosomeSet) (subCollection ?B ?COLL) (instance ?C HomologousChromosomeSet) (subCollection ?C ?COLL) (not (equal ?A ?B) (equal ?A ?C) (equal ?B ?C))))) |
VirusProteinAndCellPart.kif 1004-1023 |
consequent |
(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell)) |
Economy.kif 3963-3968 | |
(=> (and (instance ?C SpeltWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell)) |
Economy.kif 3993-3998 | |
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 6) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL HexaploidCell)) |
VirusProteinAndCellPart.kif 992-1002 |