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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternalCarotidArtery

Sigma KEE - InternalCarotidArtery
InternalCarotidArtery

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


(connectedBodyPartTypes InternalCarotidArtery AnteriorCerebralArtery Human) arteries.kif 348-348 connectedBodyPartTypes InternalCarotidArtery, AnteriorCerebralArtery and 人类
(connectedBodyPartTypes InternalCarotidArtery MiddleCerebralArtery Human) arteries.kif 354-354 connectedBodyPartTypes InternalCarotidArtery, MiddleCerebralArtery and 人类
(connectedBodyPartTypes InternalCarotidArtery OphthalmicArtery Human) arteries.kif 178-178 connectedBodyPartTypes InternalCarotidArtery, OphthalmicArtery and 人类
(connectedBodyPartTypes InternalCarotidArtery PosteriorCommunicatingArtery Human) arteries.kif 377-377 connectedBodyPartTypes InternalCarotidArtery, PosteriorCommunicatingArtery and 人类
(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 InternalCarotidArtery动脉subclass

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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