TreeView Knowledge Base Browser - CellNucleus

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CellNucleus

CellNucleus

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10891-10892
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4591-4591
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10888-10888	CellNucleus e' uma sub-classe de CellPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13668-13668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13667-13667
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13666-13666

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 702-710	chromosomeNumber EukaryoticCell and Numero Inteiro Objeto e' uma &parte de EukaryoticCell Objeto e' uma instancia de CellNucleus EukaryoticCellOLL e' uma instancia de Colecao EukaryoticCellOLL e' situado em Objeto memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	haploidNumber Gamete and Numero Inteiro Gamete e' uma instancia de Gamete Objeto e' uma &parte de Gamete Objeto e' uma instancia de CellNucleus Colecao e' uma instancia de Colecao Colecao e' situado em Objeto memberType Colecao and Chromosome memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1003-1022	Objeto e' uma instancia de HexaploidCell Objeto e' uma &parte de Objeto Objeto e' uma instancia de CellNucleus Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Colecao Colecao and Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 950-965	Objeto e' uma instancia de TetraploidCell Objeto e' uma &parte de Objeto Objeto e' uma instancia de CellNucleus Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Colecao Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 895-904	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 2 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de DiploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 906-912	Fisico e' uma instancia de HomologousChromosomeSet Fisico e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de DiploidCell
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 876-887	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 sub-colecao de Colecao MonoploidChromosomeSet e' uma sub-colecao de Colecao MonoploidChromosomeSet e' igual a MonoploidChromosomeSet homologousChromosomePair MonoploidChromosomeSet and MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 599-607	Objeto e' uma instancia de Objeto Objeto e' uma sub-classe de CellNucleus initialPart Objeto and EukaryoticCell Objeto Objeto e' uma instancia de Chromotin Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10894-10899	Objeto e' uma instancia de CellNucleus Objeto Objeto e' uma instancia de Celula Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10165-10171	Objeto e' uma instancia de RedBloodCell Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10211-10216	Objeto e' uma instancia de WhiteBloodCell Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 383-388	Objeto e' uma instancia de EukaryoticCell Objeto Objeto e' uma parte interior de Objeto Objeto e' uma instancia de CellNucleus
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 395-400	Objeto e' uma instancia de ProkaryoticCell Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 582-587	Fisico e' uma instancia de Chromosome Objeto Objeto e' uma instancia de CellNucleus 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