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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InferiorGlutealArtery

Sigma KEE - InferiorGlutealArtery
InferiorGlutealArtery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1653-1653 connectedBodyPartTypes InferiorGlutealArtery, InternalIliacArtery 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 子類 InferiorGlutealArtery and AnteriorIliacArteryDivision
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1876-1876 suppliesBlood InferiorGlutealArtery and BicepsFemorisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1100-1100 suppliesBlood InferiorGlutealArtery and LevatorAniIliococcygeusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1110-1110 suppliesBlood InferiorGlutealArtery and LevatorAniPubococcygeusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1117-1117 suppliesBlood InferiorGlutealArtery and PuborectalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1806-1806 suppliesBlood InferiorGlutealArtery and QuadratusFemorisMuscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1658-1658 connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery 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