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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UlnarArtery

 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 connectedBodyPartTypes ulnar artery, brachial artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1141-1141
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 suppliesBlood ulnar artery and abductor digiti minimi muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1484-1484 suppliesBlood ulnar artery and extensor carpi ulnaris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1413-1413 suppliesBlood ulnar artery and flexor carpi ulnaris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1622-1622 suppliesBlood ulnar artery and flexor digiti minimi brevis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1424-1424 suppliesBlood ulnar artery and flexor digitorum superficialis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1631-1631 suppliesBlood ulnar artery and opponens digiti minimi muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1404-1404 suppliesBlood ulnar artery and palmaris longus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1383-1383 suppliesBlood 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 connectedBodyPartTypes anterior interosseous artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1148-1148 connectedBodyPartTypes anterior ulnar recurrent artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1155-1155 connectedBodyPartTypes common interosseous artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1214-1214 connectedBodyPartTypes deep volar artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1209-1209 connectedBodyPartTypes dorsal carpal arch artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1204-1204 connectedBodyPartTypes dorsal carpal artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1189-1189 connectedBodyPartTypes muscular ulnar artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1199-1199 connectedBodyPartTypes palmar carpal arch artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1160-1160 connectedBodyPartTypes posterior interosseous artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1150-1150 connectedBodyPartTypes posterior ulnar recurrent artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1219-1219 connectedBodyPartTypes superficial volar arch artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1194-1194 connectedBodyPartTypes volar carpal artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1140-1140


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