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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnteriorCiliaryArtery
AnteriorCiliaryArtery

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


(documentation AnteriorCiliaryArtery EnglishLanguage "anterior ciliary artery") arteries.kif 327-327
(subclass AnteriorCiliaryArtery CiliaryArtery) arteries.kif 325-325

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


(connectedBodyPartTypes OphthalmicArtery AnteriorCiliaryArtery Human) arteries.kif 329-329
(termFormat EnglishLanguage AnteriorCiliaryArtery "anterior ciliary artery") arteries.kif 326-326


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