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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternalCarotidArtery
InternalCarotidArtery(internal carotid artery)
internal_carotid_artery

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


(connectedBodyPartTypes InternalCarotidArtery AnteriorCerebralArtery Human) arteries.kif 348-348 connectedBodyPartTypes internal carotid artery, anterior cerebral artery and human
(connectedBodyPartTypes InternalCarotidArtery MiddleCerebralArtery Human) arteries.kif 354-354 connectedBodyPartTypes internal carotid artery, middle cerebral artery and human
(connectedBodyPartTypes InternalCarotidArtery OphthalmicArtery Human) arteries.kif 178-178 connectedBodyPartTypes internal carotid artery, ophthalmic artery and human
(connectedBodyPartTypes InternalCarotidArtery PosteriorCommunicatingArtery Human) arteries.kif 377-377 connectedBodyPartTypes internal carotid artery, posterior communicating artery and human
(documentation InternalCarotidArtery EnglishLanguage "internal carotid artery") arteries.kif 169-169 connectedBodyPartTypes internal carotid artery, posterior communicating artery and human
(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 connectedBodyPartTypes internal carotid artery, posterior communicating artery and human
(subclass InternalCarotidArtery Artery) arteries.kif 167-167 Internal carotid artery is a subclass of artery

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


(connectedBodyPartTypes LeftCommonCarotidArtery InternalCarotidArtery Human) arteries.kif 172-172 connectedBodyPartTypes left common carotid artery, internal carotid artery and human
(termFormat EnglishLanguage InternalCarotidArtery "internal carotid artery") arteries.kif 168-168 connectedBodyPartTypes left common carotid artery, internal carotid 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