Gene - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Gene

Gene

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 641-642
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 640-640	Gene e' uma sub-classe de Objeto Organico

appearance as argument number 2

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

VirusProteinAndCellPart.kif 643-643

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 654-668	Objeto e' uma instancia de Gene Objeto e' situado em Objeto Objeto e' uma instancia de Celula Processo Objeto and Objeto Processo e' uma instancia de Processo Biologico eventLocated Processo and Objeto Processo tem como origem Objeto Objeto e' o resultado de Processo Objeto e' uma instancia de Nucleotide Objeto e' uma &parte de Objeto Objeto e' uma instancia de RNAMolecule Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 645-652	Entidade e' uma instancia de Gene Objeto Objeto Objeto e' uma instancia de Nucleotide Entidade e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de DNAMolecule

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 is open source software produced by Articulate Software and its partners