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

Formal Language: 



Term 1: Term 2:

(subclass Ulna ArmBone) Anatomy.kif 704-704 Ulna is a subclass of arm bone
(subclass LeftUlna Ulna) Anatomy.kif 710-710 Left ulna is a subclass of ulna
(subclass RightUlna Ulna) Anatomy.kif 716-716 Right ulna is a subclass of ulna


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