MonoploidChromosomeSet - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage MonoploidChromosomeSet "monoploid chromosome set")

appearance as argument number 3

(domain monoploidNumber 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 722-722	The number 1 argument of monoploid number is an instance of monoploid chromosome set
(domain chromosomeSetCount 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 807-807	The number 1 argument of chromosome set count is an instance of monoploid chromosome set
(domain homologousChromosomePair 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 828-828	The number 1 argument of homologous chromosome pair is an instance of monoploid chromosome set
(domain homologousChromosomePair 2 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 829-829	The number 2 argument of homologous chromosome pair is an instance of monoploid chromosome set

antecedent

(=> (and (instance ?COLL MonoploidChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (member ?X ?COLL) (member ?Y ?COLL) (not (equal ?X ?Y))) (not (homologousChromosome ?X ?Y)))	VirusProteinAndCellPart.kif 703-715	If All of the following hold: (1) X is an instance of monoploid chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is a member of X (7) W is a member of X (8) equal Z and W, then Z and W are homologous chromosomes
(=> (and (instance ?COLL MonoploidChromosomeSet) (memberCount ?COLL ?I)) (monoploidNumber ?COLL ?I))	VirusProteinAndCellPart.kif 727-731	If X is an instance of monoploid chromosome set and Y is a member count of X, then monoploid number X and Y
(=> (and (instance ?CELL MonoploidCell) (chromosomeNumber ?CELL ?X) (instance ?COLL MonoploidChromosomeSet) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL) (monoploidNumber ?COLL ?Y)) (equal ?X ?Y))	VirusProteinAndCellPart.kif 757-766	If All of the following hold: (1) X is an instance of monoploid cell (2) There are Y number of Chromosomes in MonoploidChromosomeSet X. (3) Z is an instance of monoploid chromosome set (4) Z is located at W (5) W is an instance of cell nucleus (6) W is a part of X (7) monoploid number Z and V, then equal Y and V
(=> (and (instance ?COLL HomologousChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 2))	VirusProteinAndCellPart.kif 850-859	If All of the following hold: (1) X is an instance of homologous chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is an instance of monoploid chromosome set (7) Z is a proper sub-collection of X, then There are 2 number of Z MonoploidChromosomeSet in CollectionOfObjects X.
(=> (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))	VirusProteinAndCellPart.kif 905-915	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.
(=> (and (instance ?COLL CollectionOfObjects) (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 923-933	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 4 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 tetraploid cell
(=> (and (instance ?CELL PentaploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL CollectionOfObjects) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 5))	VirusProteinAndCellPart.kif 958-968	If All of the following hold: (1) X is an instance of pentaploid 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 5 number of W MonoploidChromosomeSet in CollectionOfObjects Z.
(=> (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

consequent

(=>
    (and
        (instance ?CELL MonoploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (exists (?COLL)
        (and
            (instance ?COLL MonoploidChromosomeSet)
            (located ?COLL ?N)
            (not
                (exists (?SET)
                    (and
                        (instance ?SET MonoploidChromosomeSet)
                        (not
                            (equal ?SET ?COLL))
                        (located ?SET ?N)))))))

VirusProteinAndCellPart.kif 740-755

If X is an instance of monoploid cell, Y is an instance of cell nucleus, and Y is a part of X, then there exists Z such that Z is an instance of monoploid chromosome set, Z is located at Y, there doesn't exist W such that W is an instance of monoploid chromosome set, equal W, Z, and W is located at Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

(subclass MonoploidChromosomeSet CollectionOfObjects)	VirusProteinAndCellPart.kif 697-697	Monoploid chromosome set is a subclass of collection
(documentation MonoploidChromosomeSet EnglishLanguage "A MonoploidChromosomeSet is one (1) unique set of Chromosomes in a CellNucleus, each of its member is unique and not being part of a pair of homologousChromosme within the set.")	VirusProteinAndCellPart.kif 698-700	Monoploid chromosome set is a subclass of collection

KB Term:			Term intersection

English Word: