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 Human
(connectedBodyPartTypes InternalCarotidArtery MiddleCerebralArtery Human) arteries.kif 354-354 connectedBodyPartTypes InternalCarotidArtery, MiddleCerebralArtery and Human
(connectedBodyPartTypes InternalCarotidArtery OphthalmicArtery Human) arteries.kif 178-178 connectedBodyPartTypes InternalCarotidArtery, OphthalmicArtery and Human
(connectedBodyPartTypes InternalCarotidArtery PosteriorCommunicatingArtery Human) arteries.kif 377-377 connectedBodyPartTypes InternalCarotidArtery, PosteriorCommunicatingArtery and Human
(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 ist eine teilkategorie von Artery

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


(connectedBodyPartTypes LeftCommonCarotidArtery InternalCarotidArtery Human) arteries.kif 172-172 connectedBodyPartTypes LeftCommonCarotidArtery, InternalCarotidArtery and Human
(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