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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleSafetyDevice

Sigma KEE - DorsalCarpalArtery
DorsalCarpalArtery

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


(connectedBodyPartTypes DorsalCarpalArtery UlnarArtery Human) arteries.kif 1204-1204
(documentation DorsalCarpalArtery EnglishLanguage "dorsal carpal artery") arteries.kif 1202-1202
(subclass DorsalCarpalArtery Artery) arteries.kif 1200-1200

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


(termFormat EnglishLanguage DorsalCarpalArtery "dorsal carpal artery") arteries.kif 1201-1201


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