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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Axid

Sigma KEE - AnteriorCerebralArtery
AnteriorCerebralArtery

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


(documentation AnteriorCerebralArtery EnglishLanguage "anterior cerebral artery") arteries.kif 345-345
(externalImage AnteriorCerebralArtery "https://upload.wikimedia.org/wikipedia/ commons/ thumb/ f/ ff/ Sobotta.3.1909.549.png/ 800px-Sobotta.3.1909.549.png") arteries.kif 347-347
(subclass AnteriorCerebralArtery CerebralArtery) arteries.kif 343-343

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


(connectedBodyPartTypes InternalCarotidArtery AnteriorCerebralArtery Human) arteries.kif 348-348
(termFormat EnglishLanguage AnteriorCerebralArtery "anterior cerebral artery") arteries.kif 344-344


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