Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass RightElbow
    (BodySideFn Right Elbow))		 Medicine.kif 2867-2867 RightElbow è una sottoclasse di BodySideFn Right and Elbow
(subclass RightElbow
    (BodySideFn Right Shoulder))		 Medicine.kif 2873-2873 RightElbow è una sottoclasse di BodySideFn Right and Shoulder


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