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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadialArtery

 Sigma KEE - RadialArtery
RadialArtery(radial artery)arteria_radialis, radial_artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1082-1082 connectedBodyPartTypes radial artery, brachial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1080-1080
No TPTP formula. May not be expressible in strict first order. arteries.kif 1078-1078 Radial artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1510-1510 suppliesBlood radial artery and extensor carpi radialis brevis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1501-1501 suppliesBlood radial artery and extensor carpi radialis longus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1395-1395 suppliesBlood radial artery and flexor carpi radialis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1384-1384 suppliesBlood radial artery and pronator teres muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1137-1137 connectedBodyPartTypes deep palmar arch artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1112-1112 connectedBodyPartTypes dorsal carpal branch of radial artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1117-1117 connectedBodyPartTypes first dorsal metacarpal artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1097-1097 connectedBodyPartTypes palmar carpal branch of radial artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1127-1127 connectedBodyPartTypes princeps pollicis artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1122-1122 connectedBodyPartTypes radial branch artery in the hand, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1107-1107 connectedBodyPartTypes radial branch at the wrist artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1087-1087 connectedBodyPartTypes radial branches in the forearm, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1092-1092 connectedBodyPartTypes radial recurrent artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1132-1132 connectedBodyPartTypes radialis indicis artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1102-1102 connectedBodyPartTypes superficial palmar branch of the radial artery, radial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1079-1079


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