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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PontineBranchArtery
PontineBranchArtery(pontine branch artery)

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


(connectedBodyPartTypes PontineBranchArtery BasilarArtery Human) arteries.kif 830-830 connectedBodyPartTypes pontine branch artery, basilar artery and human
(documentation PontineBranchArtery EnglishLanguage "pontine branch artery") arteries.kif 828-828
(subclass PontineBranchArtery Artery) arteries.kif 826-826 Pontine branch artery is a subclass of artery

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