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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VertebralArtery
VertebralArtery

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


(documentation VertebralArtery EnglishLanguage "vertebral artery") arteries.kif 764-764
(externalImage VertebralArtery "https://upload.wikimedia.org/wikipedia/commons/ f/ ff/ Vertebral_artery.png") arteries.kif 766-766
(subclass VertebralArtery Artery) arteries.kif 762-762

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


(connectedBodyPartTypes AnteriorSpinalArtery VertebralArtery Human) arteries.kif 795-795
(connectedBodyPartTypes BasilarArtery VertebralArtery Human) arteries.kif 815-815
(connectedBodyPartTypes LeftSubclavianArtery VertebralArtery Human) arteries.kif 767-767
(connectedBodyPartTypes MeningealBranchOfVertebralArtery VertebralArtery Human) arteries.kif 772-772
(connectedBodyPartTypes PosteriorInferiorCerebellarArtery VertebralArtery Human) arteries.kif 800-800
(connectedBodyPartTypes PosteriorSpinalArtery VertebralArtery Human) arteries.kif 777-777
(termFormat EnglishLanguage VertebralArtery "vertebral artery") arteries.kif 763-763


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