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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PosteriorInterosseousArtery

Sigma KEE - PosteriorInterosseousArtery
PosteriorInterosseousArtery(posterior interosseous artery)

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


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 1158-1158
No TPTP formula. May not be expressible in strict first order. arteries.kif 1156-1156 Posterior interosseous artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1539-1539 suppliesBlood posterior interosseous artery and abductor pollicis longus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1475-1475 suppliesBlood posterior interosseous artery and extensor digiti minimi muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1464-1464 suppliesBlood posterior interosseous artery and extensor digitorum muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1548-1548 suppliesBlood posterior interosseous artery and extensor pollicis brevis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1557-1557 suppliesBlood posterior interosseous artery and extensor pollicis longus muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1157-1157


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