TetraploidCell |
appearance as argument number 1 |
(documentation TetraploidCell EnglishLanguage "TetraploidCell refers to a cell which has four (4) sets of homologous Chromosomes.") | VirusProteinAndCellPart.kif 935-936 | |
(subclass TetraploidCell SomaticCell) | VirusProteinAndCellPart.kif 933-933 | TetraploidCell e' uma sub-classe de SomaticCell |
(subclass TetraploidCell Zygote) | VirusProteinAndCellPart.kif 934-934 | TetraploidCell e' uma sub-classe de Zygote |
appearance as argument number 2 |
(termFormat EnglishLanguage TetraploidCell "tetraploid cell") | VirusProteinAndCellPart.kif 937-937 |
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 951-966 |
|
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 939-949 |
|
(=> (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 |