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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftStapesBone
LeftStapesBone(left stapes bone)

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


(documentation LeftStapesBone EnglishLanguage "left stapes bone") Anatomy.kif 193-193
(subclass LeftStapesBone StapesBone) Anatomy.kif 191-191 Left stapes bone is a subclass of StapesBone

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


(termFormat EnglishLanguage LeftStapesBone "left stapes bone") Anatomy.kif 192-192


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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