TreeView Knowledge Base Browser - MonoploidChromosomeSet

appearance as argument number 1

(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 714-716
(subclass MonoploidChromosomeSet Collection)	VirusProteinAndCellPart.kif 713-713

appearance as argument number 2

(termFormat EnglishLanguage MonoploidChromosomeSet "monoploid chromosome set")

VirusProteinAndCellPart.kif 717-717

appearance as argument number 3

(domain chromosomeSetCount 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 823-823
(domain homologousChromosomePair 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 844-844
(domain homologousChromosomePair 2 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 845-845
(domain monoploidNumber 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 738-738

antecedent

(=> (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 773-782
(=> (and (instance ?CELL PentaploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 5))	VirusProteinAndCellPart.kif 974-984
(=> (and (instance ?CELL TriploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL Collection) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 3))	VirusProteinAndCellPart.kif 921-931
(=> (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 939-949
(=> (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 992-1002
(=> (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 866-875
(=> (and (instance ?COLL MonoploidChromosomeSet) (memberCount ?COLL ?I)) (monoploidNumber ?COLL ?I))	VirusProteinAndCellPart.kif 743-747
(=> (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 719-731

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 756-771

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: