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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeftColicArtery

Sigma KEE - LeftColicArtery
LeftColicArtery(left colic artery)

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


(connectedBodyPartTypes LeftColicArtery LumbarArtery Human) arteries.kif 1516-1516 connectedBodyPartTypes left colic artery, lumbar artery and human
(documentation LeftColicArtery EnglishLanguage "left colic artery") arteries.kif 1514-1514
(subclass LeftColicArtery Artery) arteries.kif 1512-1512 Left colic artery is a subclass of artery

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


(connectedBodyPartTypes LeftColicAscendingArteryBranch LeftColicArtery Human) arteries.kif 1521-1521 connectedBodyPartTypes left colic ascending artery branch, left colic artery and human
(connectedBodyPartTypes LeftColicDescendingArteryBranch LeftColicArtery Human) arteries.kif 1526-1526 connectedBodyPartTypes left colic descending artery branch, left colic artery and human
(termFormat EnglishLanguage LeftColicArtery "left colic artery") arteries.kif 1513-1513


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