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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BranchesToGingivaArtery
BranchesToGingivaArtery(branches to gingiva artery)

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


(documentation BranchesToGingivaArtery EnglishLanguage "branches to gingiva artery") arteries.kif 691-691
(subclass BranchesToGingivaArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 689-689 Branches to gingiva artery is a subclass of external carotid terminal third portion artery

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


(connectedBodyPartTypes MaxillaryArtery BranchesToGingivaArtery Human) arteries.kif 693-693 connectedBodyPartTypes maxillary artery, branches to gingiva artery and human
(termFormat EnglishLanguage BranchesToGingivaArtery "branches to gingiva artery") arteries.kif 690-690 connectedBodyPartTypes maxillary artery, branches to gingiva artery and human


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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