TreeView Knowledge Base Browser - Brain

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Brain

Brain(腦)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11875-11875
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 288-288
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 51-51
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23749-23749	腦的例子總是 Human 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11874-11874	子類腦 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11873-11873	子類腦 and VitalOrgan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11902-11902	每個 FrontalLobe 是腦的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11880-11880	每個 Medulla 是腦的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11909-11909	每個 OccipitalLobes 是腦的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11894-11894	每個 ParietalLobe 是腦的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11886-11886	每個 Pons 是腦的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11916-11916	每個 TemporalLobes 是腦的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11825-11825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11824-11824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11823-11823

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11942-11959	例 Physical and Stroke 例 Object and 腦位於 Physical and Object Object 例 Object and 神經細胞部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1328-1340	例 Process and Impacting 患者 Process and Entity 持有期間眼前的未來 Process and attribute Entity and ImpairedBodyPartFn 腦模態屬性持有期間眼前的未來 Process and attribute Entity and Concussion and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11961-11972	例 Process and Stroke 例 Object and 腦位於 Process and Object Physical Process 例 Physical and 神經細胞位於 Physical and Object 例 Process and Destruction 子過程 Process and Process 患者 Process and Physical

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1613-1621	例 Process and Seizure 體驗者 Process and AutonomousAgent Object 例 Object and 腦部分 Object and AutonomousAgent 位於 Process and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1294-1299	持有期間 TimePosition and attribute entity and TraumaticBrainInjury 持有期間 TimePosition and attribute entity and ImpairedBodyPartFn 腦
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11935-11940	例 Physical and Stroke Object 例 Object and 腦位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12126-12131	例 Object and 下丘腦 Object 例 Object and 腦部分 Object and Object

statement

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

Medicine.kif 5188-5188

等於 BrainDead and DeadOrMissingBodyPartFn 腦

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