TetraploidCell |
appearance as argument number 1 |
(documentation TetraploidCell EnglishLanguage "TetraploidCell refers to a cell which has four (4) sets of homologous Chromosomes.") | VirusProteinAndCellPart.kif 934-935 | |
(subclass TetraploidCell SomaticCell) | VirusProteinAndCellPart.kif 932-932 | |
(subclass TetraploidCell Zygote) | VirusProteinAndCellPart.kif 933-933 |
appearance as argument number 2 |
(termFormat EnglishLanguage TetraploidCell "tetraploid cell") | VirusProteinAndCellPart.kif 936-936 |
antecedent |
(=> (and (instance ?CELL TetraploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome)) (exists (?A ?B) (and (instance ?A HomologousChromosomeSet) (subCollection ?A ?COLL) (instance ?B HomologousChromosomeSet) (subCollection ?B ?COLL) (not (equal ?A ?B))))) |
VirusProteinAndCellPart.kif 950-965 |
consequent |
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 4) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL TetraploidCell)) |
VirusProteinAndCellPart.kif 938-948 | |
(=> (and (instance ?E DurumWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell)) |
Economy.kif 3904-3909 | |
(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell)) |
Economy.kif 3872-3877 |