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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeepBranchOfUlnarNerve

 Sigma KEE - DeepBranchOfUlnarNerve
DeepBranchOfUlnarNerve(deep branch of ulnar nerve)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1613-1613 ennervates deep branch of ulnar nerve and abductor digiti minimi muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1595-1595 ennervates deep branch of ulnar nerve and abductor pollicis brevis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1652-1652 ennervates deep branch of ulnar nerve and dorsal interossei muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1623-1623 ennervates deep branch of ulnar nerve and flexor digiti minimi brevis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1661-1661 ennervates deep branch of ulnar nerve and palmar interossei muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1614-1614 Deep branch of ulnar nerve is a subclass of nerve

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1615-1615


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