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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InferiorRectalArtery

Sigma KEE - InferiorRectalArtery
InferiorRectalArtery(inferior rectal artery)

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1596-1596 connectedBodyPartTypes inferior rectal artery, internal pudendal artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1594-1594
No TPTP formula. May not be expressible in strict first order. arteries.kif 1592-1592 Inferior rectal artery is a subclass of anterior iliac artery division
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1125-1125 suppliesBlood inferior rectal artery and sphincter ani externus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1133-1133 suppliesBlood inferior rectal artery and sphincter ani internus muscle

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


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


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