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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExternalStriateArtery

Sigma KEE - ExternalStriateArtery
ExternalStriateArtery

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


(documentation ExternalStriateArtery EnglishLanguage "external striate artery") arteries.kif 369-369
(subclass ExternalStriateArtery Artery) arteries.kif 367-367 ExternalStriateArtery动脉subclass

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


(connectedBodyPartTypes AnterolateralCentralArtery ExternalStriateArtery Human) arteries.kif 371-371 connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and 人类
(termFormat EnglishLanguage ExternalStriateArtery "external striate artery") arteries.kif 368-368


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