HexaploidCell - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HexaploidCell SomaticCell)	VirusProteinAndCellPart.kif 970-970	Hexaploid cell is a subclass of somatic cell
(subclass HexaploidCell Zygote)	VirusProteinAndCellPart.kif 971-971	Hexaploid cell is a subclass of zygote
(documentation HexaploidCell EnglishLanguage "HexaploidCell refers to a cell that contains six (6) sets of homologous Chromosomes.")	VirusProteinAndCellPart.kif 972-973	Hexaploid cell is a subclass of zygote

appearance as argument number 2

(termFormat EnglishLanguage HexaploidCell "hexaploid cell")

antecedent

(=>
    (and
        (instance ?CELL HexaploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL CollectionOfObjects)
        (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)))))

If All of the following hold: (1) X is an instance of hexaploid cell (2) Y is a part of X (3) Y is an instance of cell nucleus (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of homologous chromosome set (3) W is a proper sub-collection of Z (4) V is an instance of homologous chromosome set (5) V is a proper sub-collection of Z (6) U is an instance of homologous chromosome set (7) U is a proper sub-collection of Z (8) equal W (9) V (10) equal W (11) U (12) equal V (13) U

consequent

(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4295-4300	If X is an instance of common wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of hexaploid cell
(=> (and (instance ?C SpeltWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4325-4330	If X is an instance of spelt wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of hexaploid cell
(=> (and (instance ?COLL CollectionOfObjects) (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 976-986	If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is an instance of monoploid chromosome set (4) Y is a proper sub-collection of X (5) There are 6 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (6) X is located at Z (7) Z is an instance of cell nucleus (8) Z is a part of W, then W is an instance of hexaploid cell