Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kidney

 Sigma KEE - Kidney
Kidney(肾)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11268-11269
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4757-4757
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11267-11267 肾 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11266-11266 肾 是 VitalOrgan 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32515-32515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32514-32514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32513-32513

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5065-5074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2103-2110

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2900-2900 LeftKidney 是 BodySideFn 左 and 肾 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5047-5047 Pyelonephritis 是 InflammationFn 肾 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2903-2903 RightKidney 是 BodySideFn 右 and 肾 的 subclass


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