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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CirculusArteriosusMajor

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 CirculusArteriosusMajorOcularGroupArterysubclass

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


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


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

Show without tree


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