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 713-715
(subclass MonoploidChromosomeSet Collection)	VirusProteinAndCellPart.kif 712-712	MonoploidChromosomeSet e' uma sub-classe de Colecao

appearance as argument number 2

(termFormat EnglishLanguage MonoploidChromosomeSet "monoploid chromosome set")

VirusProteinAndCellPart.kif 716-716

appearance as argument number 3

(domain chromosomeSetCount 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 822-822	O argumento numero 1 de chromosomeSetCount e' uma instancia de MonoploidChromosomeSet
(domain homologousChromosomePair 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 843-843	O argumento numero 1 de homologousChromosomePair e' uma instancia de MonoploidChromosomeSet
(domain homologousChromosomePair 2 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 844-844	O argumento numero 2 de homologousChromosomePair e' uma instancia de MonoploidChromosomeSet
(domain monoploidNumber 1 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 737-737	O argumento numero 1 de monoploidNumber e' uma instancia de MonoploidChromosomeSet

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 772-781	EukaryoticCell e' uma instancia de MonoploidCell chromosomeNumber EukaryoticCell and Numero Inteiro MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de EukaryoticCell monoploidNumber MonoploidChromosomeSet and Numero Inteiro Numero Inteiro e' igual a Numero Inteiro
(=> (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 973-983	Objeto e' uma instancia de PentaploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 5
(=> (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 920-930	Objeto e' uma instancia de TriploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 3
(=> (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 938-948	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 4 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de TetraploidCell
(=> (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 991-1001	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 6 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de HexaploidCell
(=> (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 865-874	Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Chromosome Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de EukaryoticCell MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 2
(=> (and (instance ?COLL MonoploidChromosomeSet) (memberCount ?COLL ?I)) (monoploidNumber ?COLL ?I))	VirusProteinAndCellPart.kif 742-746	MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet memberCount MonoploidChromosomeSet and Numero Inteiro monoploidNumber MonoploidChromosomeSet and Numero Inteiro
(=> (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 718-730	Colecao e' uma instancia de MonoploidChromosomeSet memberType Colecao and Chromosome Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de EukaryoticCell Chromosome e' membro de Colecao Chromosome e' membro de Colecao Chromosome e' igual a Chromosome homologousChromosome Chromosome and Chromosome

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 755-770

Objeto e' uma instancia de MonoploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto
Fisico Fisico e' uma instancia de MonoploidChromosomeSet Fisico e' situado em Objeto Fisico Fisico e' uma instancia de MonoploidChromosomeSet Fisico e' igual a Fisico Fisico e' situado em Objeto

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: