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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UlnarArtery
UlnarArtery(ulnar artery)arteria_ulnaris, ulnar_artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1143-1143 connected body parts ulnar artery, brachial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1141-1141 connected body parts ulnar artery, brachial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1139-1139 Ulnar artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1612-1612 supplies blood ulnar artery and abductor digiti minimi muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1484-1484 supplies blood ulnar artery and extensor carpi ulnaris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1413-1413 supplies blood ulnar artery and flexor carpi ulnaris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1622-1622 supplies blood ulnar artery and flexor digiti minimi brevis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1424-1424 supplies blood ulnar artery and flexor digitorum superficialis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1631-1631 supplies blood ulnar artery and opponens digiti minimi muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1404-1404 supplies blood ulnar artery and palmaris longus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1383-1383 supplies blood ulnar artery and pronator teres muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1169-1169 connected body parts anterior interosseous artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1148-1148 connected body parts anterior ulnar recurrent artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1155-1155 connected body parts common interosseous artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1214-1214 connected body parts deep volar artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1209-1209 connected body parts dorsal carpal arch artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1204-1204 connected body parts dorsal carpal artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1189-1189 connected body parts muscular ulnar artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1199-1199 connected body parts palmar carpal arch artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1160-1160 connected body parts posterior interosseous artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1150-1150 connected body parts posterior ulnar recurrent artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1219-1219 connected body parts superficial volar arch artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1194-1194 connected body parts volar carpal artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1140-1140 connected body parts volar carpal artery, ulnar artery and human


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