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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternalCarotidArtery
InternalCarotidArtery

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


(connectedBodyPartTypes InternalCarotidArtery AnteriorCerebralArtery Human) arteries.kif 348-348
(connectedBodyPartTypes InternalCarotidArtery MiddleCerebralArtery Human) arteries.kif 354-354
(connectedBodyPartTypes InternalCarotidArtery OphthalmicArtery Human) arteries.kif 178-178
(connectedBodyPartTypes InternalCarotidArtery PosteriorCommunicatingArtery Human) arteries.kif 377-377
(documentation InternalCarotidArtery EnglishLanguage "internal carotid artery") arteries.kif 169-169
(externalImage InternalCarotidArtery "https://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ a4/ Blausen_0170_Carotid Arteries.png/ 800px-Blausen_0170_Carotid Arteries.png") arteries.kif 171-171
(subclass InternalCarotidArtery Artery) arteries.kif 167-167

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


(connectedBodyPartTypes LeftCommonCarotidArtery InternalCarotidArtery Human) arteries.kif 172-172
(termFormat EnglishLanguage InternalCarotidArtery "internal carotid artery") arteries.kif 168-168


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