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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InfraorbitalArtery

Sigma KEE - InfraorbitalArtery
InfraorbitalArtery

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


(documentation InfraorbitalArtery EnglishLanguage "infraorbital artery") arteries.kif 671-671
(subclass InfraorbitalArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 669-669 InfraorbitalArtery รจ una sottoclasse di ExternalCarotidTerminalThirdPortionArtery

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


(connectedBodyPartTypes MaxillaryArtery InfraorbitalArtery Human) arteries.kif 673-673 connectedBodyPartTypes MaxillaryArtery, InfraorbitalArtery and Umano
(termFormat EnglishLanguage InfraorbitalArtery "infraorbital artery") arteries.kif 670-670


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