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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InferiorGlutealArtery

Sigma KEE - InferiorGlutealArtery
InferiorGlutealArtery(inferior gluteal artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1653-1653 connectedBodyPartTypes inferior gluteal artery, internal iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1651-1651
No TPTP formula. May not be expressible in strict first order. arteries.kif 1649-1649 Inferior gluteal artery is a subclass of anterior iliac artery division
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1876-1876 suppliesBlood inferior gluteal artery and biceps femoris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1100-1100 suppliesBlood inferior gluteal artery and levator ani iliococcygeus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1110-1110 suppliesBlood inferior gluteal artery and levator ani pubococcygeus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1117-1117 suppliesBlood inferior gluteal artery and levator ani puborectalis muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1806-1806 suppliesBlood inferior gluteal artery and quadratus femoris muscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1658-1658 connectedBodyPartTypes accompanying artery of ischiadic nerve, inferior gluteal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1650-1650


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