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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExternalCarotidArtery
ExternalCarotidArtery

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


(connectedBodyPartTypes ExternalCarotidArtery AscendingPharyngealArtery Human) arteries.kif 424-424
(connectedBodyPartTypes ExternalCarotidArtery FacialArtery Human) arteries.kif 436-436
(connectedBodyPartTypes ExternalCarotidArtery LingualArtery Human) arteries.kif 430-430
(connectedBodyPartTypes ExternalCarotidArtery MaxillaryArtery Human) arteries.kif 523-523
(connectedBodyPartTypes ExternalCarotidArtery OccipitalArtery Human) arteries.kif 506-506
(connectedBodyPartTypes ExternalCarotidArtery PosteriorAuricularArtery Human) arteries.kif 513-513
(connectedBodyPartTypes ExternalCarotidArtery SuperficialTemporalArtery Human) arteries.kif 709-709
(connectedBodyPartTypes ExternalCarotidArtery SuperiorThyroidArtery Human) arteries.kif 394-394
(documentation ExternalCarotidArtery EnglishLanguage "external carotid artery") arteries.kif 381-381
(externalImage ExternalCarotidArtery "https://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ a4/ Blausen_0170_Carotid Arteries.png/ 800px-Blausen_0170_Carotid Arteries.png") arteries.kif 384-384
(subclass ExternalCarotidArtery Artery) arteries.kif 379-379

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


(connectedBodyPartTypes LeftCommonCarotidArtery ExternalCarotidArtery Human) arteries.kif 383-383
(termFormat EnglishLanguage ExternalCarotidArtery "external carotid artery") arteries.kif 380-380


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