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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CirculusArteriosusMajor
CirculusArteriosusMajor(circulus arteriosus major)

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


(documentation CirculusArteriosusMajor EnglishLanguage "circulus arteriosus major") arteries.kif 312-312
(subclass CirculusArteriosusMajor OcularGroupArtery) arteries.kif 310-310 Circulus arteriosus major is a subclass of ocular group artery

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


(connectedBodyPartTypes LongPosteriorCiliaryArtery CirculusArteriosusMajor Human) arteries.kif 314-314 connectedBodyPartTypes long posterior ciliary artery, circulus arteriosus major and human
(termFormat EnglishLanguage CirculusArteriosusMajor "circulus arteriosus major") arteries.kif 311-311 connectedBodyPartTypes long posterior ciliary artery, circulus arteriosus major 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