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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftMarginalArtery
LeftMarginalArtery(left marginal artery)

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


(documentation LeftMarginalArtery EnglishLanguage "left marginal artery") arteries.kif 95-95
(externalImage LeftMarginalArtery "https://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 18/ Coronary_arteries.svg/ 1280px-Coronary_arteries.svg.png") arteries.kif 99-99
(subclass LeftMarginalArtery Artery) arteries.kif 93-93 Left marginal artery is a subclass of artery

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


(connectedBodyPartTypes CircumflexArtery LeftMarginalArtery Human) arteries.kif 97-97 connectedBodyPartTypes circumflex artery, left marginal artery and human
(termFormat EnglishLanguage LeftMarginalArtery "left marginal artery") arteries.kif 94-94 connectedBodyPartTypes circumflex artery, left marginal 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