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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternalIliacArtery

 Sigma KEE - InternalIliacArtery
InternalIliacArtery(internal iliac artery)
hypogastric_artery, internal_iliac_artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1556-1556 connectedBodyPartTypes internal iliac artery, common iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1554-1554
No TPTP formula. May not be expressible in strict first order. arteries.kif 1557-1557
No TPTP formula. May not be expressible in strict first order. arteries.kif 1552-1552 Internal iliac artery is a subclass of artery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1668-1668 connectedBodyPartTypes deferential artery, internal iliac artery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1685-1685 connectedBodyPartTypes iliolumbar artery, internal iliac artery and human
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 1581-1581 connectedBodyPartTypes inferior vesical artery, internal iliac artery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1591-1591 connectedBodyPartTypes internal pudendal artery, internal iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1700-1700 connectedBodyPartTypes lateral sacral artery, internal iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1586-1586 connectedBodyPartTypes middle rectal artery, internal iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1675-1675 connectedBodyPartTypes obliterated umbilical artery, internal iliac artery and human
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 1715-1715 connectedBodyPartTypes superior gluteal artery, internal iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1571-1571 connectedBodyPartTypes superior vesical artery, internal iliac artery and human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1663-1663 connectedBodyPartTypes uterine artery, internal iliac artery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1576-1576 connectedBodyPartTypes vaginal artery, internal iliac artery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1553-1553


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