HexaploidCell - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HexaploidCell EnglishLanguage "HexaploidCell refers to a cell that contains six (6) sets of homologous Chromosomes.")	VirusProteinAndCellPart.kif 994-995
(subclass HexaploidCell SomaticCell)	VirusProteinAndCellPart.kif 992-992
(subclass HexaploidCell Zygote)	VirusProteinAndCellPart.kif 993-993

appearance as argument number 2

(termFormat EnglishLanguage HexaploidCell "hexaploid cell")

VirusProteinAndCellPart.kif 996-996

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 1010-1031

consequent

(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4300-4305
(=> (and (instance ?C SpeltWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4330-4335
(=> (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 998-1008