TreeView Knowledge Base Browser - Gene

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Gene

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 and OrganicObject

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	例 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 645-652	例 Entity and Gene Object Object 例 Object and Nucleotide 等於 Entity and Object 部分 Object and Object 例 Object and DNA分子

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