TreeView Knowledge Base Browser - MonoploidChromosomeSet

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 714-716
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 713-713	MonoploidChromosomeSet e' uma sub-classe de Colecao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 717-717

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 823-823	O argumento numero 1 de chromosomeSetCount e' uma instancia de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 844-844	O argumento numero 1 de homologousChromosomePair e' uma instancia de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 845-845	O argumento numero 2 de homologousChromosomePair e' uma instancia de MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 738-738	O argumento numero 1 de monoploidNumber e' uma instancia de MonoploidChromosomeSet

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 773-782	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 974-984	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 921-931	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 939-949	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 992-1002	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 866-875	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 743-747	MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet memberCount MonoploidChromosomeSet and Numero Inteiro monoploidNumber MonoploidChromosomeSet and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 719-731	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

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 756-771

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: