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 11848-11848
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 11847-11847	脑是动物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11846-11846	脑是 VitalOrgan 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11875-11875	每个 FrontalLobe 是脑的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11853-11853	每个 Medulla 是脑的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11882-11882	每个 OccipitalLobes 是脑的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11867-11867	每个 ParietalLobe 是脑的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11859-11859	每个 Pons 是脑的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11889-11889	每个 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 11915-11932	如果物理是 Stroke 的 instance 和客体是脑的 instance 和那个物理是 located 在那个客体，然后有存在另一个客体这样那个另外客体是神经细胞的 instance 和那个另外客体是那个客体的 part 和不存在时距和第三客体这样那个时距是液体运动的 instance 和 objectTransferred 那个时距 and 那个第三客体和那个第三客体是血液的 instance 和那个时距在那个物理出现的 time 时段内发生和那个时距在那个另外客体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1328-1340	如果过程是碰撞的 instance 和实体是那个过程的 patient 和 ImpairedBodyPartFn 脑是那个实体的 attribute 在紧接那个过程 after holdsDuring，然后 Concussion 是那个实体的 attribute 在紧接那个过程 after holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11934-11945	如果过程是 Stroke 的 instance 和客体是脑的 instance 和那个过程是 located 在那个客体，然后有存在物理和另一个过程这样那个物理是神经细胞的 instance 和那个物理是 located 在那个客体和那个另外过程是摧毁的 instance 和那个另外过程%n是那个过程的subProcess 和那个物理是那个另外过程的 patient

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1613-1621	如果过程是 Seizure 的 instance 和施事体经历了那个过程，然后有存在客体这样那个客体是脑的 instance 和那个客体是那个施事体的 part 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1294-1299	如果 TraumaticBrainInjury 是实体的 attribute 在时间位置 holdsDuring，然后 ImpairedBodyPartFn 脑是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11908-11913	如果物理是 Stroke 的 instance，然后有存在客体这样那个客体是脑的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12099-12104	如果客体是下丘脑的 instance，然后有存在另一个客体这样那个另外客体是脑的 instance 和那个客体是那个另外客体的 part

statement

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

Medicine.kif 5188-5188

BrainDead equal 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