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



KB Term:  Term intersection
English Word: 

  LeftLung

Sigma KEE - LeftLung
LeftLung(left lung)

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


(subclass LeftLung
    (BodySideFn Left Lung))
Medicine.kif 2900-2900 Left lung is a subclass of the left of lung

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


(termFormat EnglishLanguage LeftLung "left lung") Medicine.kif 2901-2901


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners