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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PontineBranchArtery
PontineBranchArtery

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


(connectedBodyPartTypes PontineBranchArtery BasilarArtery Human) arteries.kif 830-830
(documentation PontineBranchArtery EnglishLanguage "pontine branch artery") arteries.kif 828-828
(subclass PontineBranchArtery Artery) arteries.kif 826-826

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


(termFormat EnglishLanguage PontineBranchArtery "pontine branch artery") arteries.kif 827-827


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