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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SuperiorGlutealArtery

Sigma KEE - SuperiorGlutealArtery
SuperiorGlutealArtery(superior gluteal artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1715-1715 connectedBodyPartTypes superior gluteal artery, internal iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1713-1713
No TPTP formula. May not be expressible in strict first order. arteries.kif 1711-1711 Superior gluteal artery is a subclass of posterior division iliac artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1734-1734 suppliesBlood superior gluteal artery and gluteus medius muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1745-1745 suppliesBlood superior gluteal artery and gluteus minimus muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1725-1725 connectedBodyPartTypes superior gluteal deep branch artery, superior gluteal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1720-1720 connectedBodyPartTypes superior gluteal superficial branch artery, superior gluteal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1712-1712


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