TriploidCell - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TriploidCell SomaticCell)	VirusProteinAndCellPart.kif 899-899	Triploid cell is a subclass of somatic cell
(subclass TriploidCell Zygote)	VirusProteinAndCellPart.kif 900-900	Triploid cell is a subclass of zygote
(documentation TriploidCell EnglishLanguage "TriploidCell refers to a cell that contains three (3) sets of homologous Chromosomes.")	VirusProteinAndCellPart.kif 901-902	Triploid cell is a subclass of zygote

appearance as argument number 2

(termFormat EnglishLanguage TriploidCell "triploid cell")

antecedent

(=>
    (and
        (instance ?CELL TriploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL CollectionOfObjects)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 3))

If All of the following hold: (1) X is an instance of triploid cell (2) Y is an instance of cell nucleus (3) Y is a part of X (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z (7) W is an instance of monoploid chromosome set (8) W is a proper sub-collection of Z, then There are 3 number of W MonoploidChromosomeSet in CollectionOfObjects Z.