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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecurrentBranchArtery
RecurrentBranchArtery(recurrent branch artery)

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


(documentation RecurrentBranchArtery EnglishLanguage "recurrent branch artery") arteries.kif 204-204
(subclass RecurrentBranchArtery OrbitalGroupArtery) arteries.kif 202-202 Recurrent branch artery is a subclass of orbital group artery

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


(connectedBodyPartTypes LacrimalArtery RecurrentBranchArtery Human) arteries.kif 206-206 connectedBodyPartTypes lacrimal artery, recurrent branch artery and human
(termFormat EnglishLanguage RecurrentBranchArtery "recurrent branch artery") arteries.kif 203-203 connectedBodyPartTypes lacrimal artery, recurrent branch 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