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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vertebrate

Sigma KEE - AnteriorInterventricularArtery
AnteriorInterventricularArtery

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


(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularDiagonalArtery Human) arteries.kif 79-79 connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and 人[人間]
(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularSeptalArtery Human) arteries.kif 73-73 connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and 人[人間]
(documentation AnteriorInterventricularArtery EnglishLanguage "anterior interventricular artery") arteries.kif 65-65
(subclass AnteriorInterventricularArtery Artery) arteries.kif 63-63 AnteriorInterventricularArteryArterysubclass では %n

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


(connectedBodyPartTypes LeftCoronaryArtery AnteriorInterventricularArtery Human) arteries.kif 67-67 connectedBodyPartTypes LeftCoronaryArtery, AnteriorInterventricularArtery and 人[人間]
(termFormat EnglishLanguage AnteriorInterventricularArtery "anterior interventricular artery") arteries.kif 64-64


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