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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UterineArtery

 Sigma KEE - UterineArtery
UterineArtery(uterine artery)arteria_uterina, uterine_artery

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


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 1661-1661
No TPTP formula. May not be expressible in strict first order. arteries.kif 1659-1659 Uterine artery is a subclass of anterior iliac artery division

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 1670-1670 connectedBodyPartTypes vaginal artery, uterine artery and FemaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1660-1660


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