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 642-643
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 641-641	子類 Gene and OrganicObject

appearance as argument number 2

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

VirusProteinAndCellPart.kif 644-644

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 655-669	例 Object and Gene 位於 Object and Object 例 Object and Cell Process Object and Object 例 Process and BiologicalProcess Process 是 located 在 Object 起源 Process and Object 結果 Process and Object 例 Object and Nucleotide 部分 Object and Object 例 Object and RNA分子位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 646-653	例 Entity and Gene Object Object 例 Object and Nucleotide 等於 Entity and Object 部分 Object and Object 例 Object and DNA分子

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