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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CirculusArteriosusMajor
CirculusArteriosusMajor

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


(documentation CirculusArteriosusMajor EnglishLanguage "circulus arteriosus major") arteries.kif 312-312
(subclass CirculusArteriosusMajor OcularGroupArtery) arteries.kif 310-310 CirculusArteriosusMajor รจ una sottoclasse di OcularGroupArtery

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


(connectedBodyPartTypes LongPosteriorCiliaryArtery CirculusArteriosusMajor Human) arteries.kif 314-314 connectedBodyPartTypes LongPosteriorCiliaryArtery, CirculusArteriosusMajor and Umano
(termFormat EnglishLanguage CirculusArteriosusMajor "circulus arteriosus major") arteries.kif 311-311


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