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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadialisIndicisArtery
RadialisIndicisArtery

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


(connectedBodyPartTypes RadialisIndicisArtery RadialArtery Human) arteries.kif 1132-1132
(documentation RadialisIndicisArtery EnglishLanguage "radialis indicis artery") arteries.kif 1130-1130
(subclass RadialisIndicisArtery Artery) arteries.kif 1128-1128

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


(termFormat EnglishLanguage RadialisIndicisArtery "radialis indicis artery") arteries.kif 1129-1129


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