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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnteriorInterventricularDiagonalArtery

Sigma KEE - AnteriorInterventricularDiagonalArtery
AnteriorInterventricularDiagonalArtery

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


(documentation AnteriorInterventricularDiagonalArtery EnglishLanguage "anterior interventricular diagonal artery") arteries.kif 77-77
(subclass AnteriorInterventricularDiagonalArtery Artery) arteries.kif 75-75

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


(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularDiagonalArtery Human) arteries.kif 79-79
(termFormat EnglishLanguage AnteriorInterventricularDiagonalArtery "anterior interventricular diagonal artery") arteries.kif 76-76


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