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, AnteriorCerebralArtery and humain
(connectedBodyPartTypes InternalCarotidArtery MiddleCerebralArtery Human) arteries.kif 354-354 connectedBodyPartTypes InternalCarotidArtery, MiddleCerebralArtery and humain
(connectedBodyPartTypes InternalCarotidArtery OphthalmicArtery Human) arteries.kif 178-178 connectedBodyPartTypes InternalCarotidArtery, OphthalmicArtery and humain
(connectedBodyPartTypes InternalCarotidArtery PosteriorCommunicatingArtery Human) arteries.kif 377-377 connectedBodyPartTypes InternalCarotidArtery, PosteriorCommunicatingArtery and humain
(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 est une sous-classe de Artery

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


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