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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 connectedBodyPartTypes left colic artery, lumbar artery and human
(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 connectedBodyPartTypes left colic descending artery branch, left colic artery and human


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