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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadialisIndicisArtery

Sigma KEE - RadialisIndicisArtery
RadialisIndicisArtery

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


(connectedBodyPartTypes RadialisIndicisArtery RadialArtery Human) arteries.kif 1132-1132 connectedBodyPartTypes RadialisIndicisArtery, RadialArtery and humain
(documentation RadialisIndicisArtery EnglishLanguage "radialis indicis artery") arteries.kif 1130-1130
(subclass RadialisIndicisArtery Artery) arteries.kif 1128-1128 RadialisIndicisArtery est une sous-classe de Artery

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


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


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