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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeftHepaticArtery

Sigma KEE - LeftHepaticArtery
LeftHepaticArtery

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


(connectedBodyPartTypes LeftHepaticArtery ProperHepaticArtery Human) arteries.kif 1344-1344 connectedBodyPartTypes LeftHepaticArtery, ProperHepaticArtery and 人类
(documentation LeftHepaticArtery EnglishLanguage "left hepatic artery") arteries.kif 1342-1342
(subclass LeftHepaticArtery Artery) arteries.kif 1340-1340 LeftHepaticArtery动脉subclass

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


(termFormat EnglishLanguage LeftHepaticArtery "left hepatic artery") arteries.kif 1341-1341


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