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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SuperiorThoracicArtery

Sigma KEE - SuperiorThoracicArtery
SuperiorThoracicArtery

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


(connectedBodyPartTypes SuperiorThoracicArtery AxillaryArtery Human) arteries.kif 976-976 connectedBodyPartTypes SuperiorThoracicArtery, AxillaryArtery and 人类
(documentation SuperiorThoracicArtery EnglishLanguage "superior thoracic artery") arteries.kif 974-974
(subclass SuperiorThoracicArtery Artery) arteries.kif 972-972 SuperiorThoracicArtery动脉subclass

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


(termFormat EnglishLanguage SuperiorThoracicArtery "superior thoracic artery") arteries.kif 973-973


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