TetraploidCell - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TetraploidCell EnglishLanguage "TetraploidCell refers to a cell which has four (4) sets of homologous Chromosomes.")	VirusProteinAndCellPart.kif 941-942
(subclass TetraploidCell SomaticCell)	VirusProteinAndCellPart.kif 939-939
(subclass TetraploidCell Zygote)	VirusProteinAndCellPart.kif 940-940

appearance as argument number 2

VirusProteinAndCellPart.kif 943-943

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

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 945-955
(=> (and (instance ?E DurumWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 4241-4246
(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 4209-4214