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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ObturatorArtery

Sigma KEE - ObturatorArtery
ObturatorArtery(obturator artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1566-1566 connectedBodyPartTypes obturator artery, internal iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1564-1564
No TPTP formula. May not be expressible in strict first order. arteries.kif 1562-1562 Obturator artery is a subclass of anterior iliac artery division
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1942-1942 suppliesBlood obturator artery and adductor brevis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1951-1951 suppliesBlood obturator artery and adductor longus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1960-1960 suppliesBlood obturator artery and adductor magnus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1909-1909 suppliesBlood obturator artery and adductor muscles of the &hip
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1920-1920 suppliesBlood obturator artery and gracilis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1773-1773 suppliesBlood obturator artery and obturator externus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1931-1931 suppliesBlood obturator artery and pectineus muscle

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


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


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