HexaploidCell |
appearance as argument number 1 |
(documentation HexaploidCell EnglishLanguage "HexaploidCell refers to a cell that contains six (6) sets of homologous Chromosomes.") | VirusProteinAndCellPart.kif 987-988 | |
(subclass HexaploidCell SomaticCell) | VirusProteinAndCellPart.kif 985-985 | |
(subclass HexaploidCell Zygote) | VirusProteinAndCellPart.kif 986-986 |
appearance as argument number 2 |
(termFormat EnglishLanguage HexaploidCell "hexaploid cell") | VirusProteinAndCellPart.kif 989-989 |
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)) (not (equal ?A ?C)) (not (equal ?B ?C))))) |
VirusProteinAndCellPart.kif 1003-1024 |
consequent |
(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell)) |
Economy.kif 4078-4083 | |
(=> (and (instance ?C SpeltWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell)) |
Economy.kif 4108-4113 | |
(=> (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 991-1001 |