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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VariableArityRelation

Sigma KEE - UterineArtery
UterineArtery

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


(connectedBodyPartTypes UterineArtery InternalIliacArtery FemaleHuman) arteries.kif 1663-1663 connectedBodyPartTypes UterineArtery, InternalIliacArtery and FemaleHuman
(documentation UterineArtery EnglishLanguage "uterine artery") arteries.kif 1661-1661
(subclass UterineArtery AnteriorIliacArteryDivision) arteries.kif 1659-1659 UterineArtery est une sous-classe de AnteriorIliacArteryDivision

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


(connectedBodyPartTypes VaginalArtery UterineArtery FemaleHuman) arteries.kif 1670-1670 connectedBodyPartTypes VaginalArtery, UterineArtery and FemaleHuman
(termFormat EnglishLanguage UterineArtery "uterine artery") 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