TreeView Knowledge Base Browser - Hemoglobin

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Hemoglobin

Hemoglobin

appearance as argument number 1

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

Medicine.kif 251-251

子類 Hemoglobin and Protein

appearance as argument number 2

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

Medicine.kif 261-261

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克比較多 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克比較多 RealNumber and 13

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