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

Formal Language: 



Term 1: Term 2:

(subclass LeftTrueRib4Bone TrueRibBone) Anatomy.kif 341-341 LeftTrueRib4Bone ist eine teilkategorie von TrueRibBone
(subclass LeftTrueRib4Bone LeftRibBone) Anatomy.kif 343-343 LeftTrueRib4Bone ist eine teilkategorie von LeftRibBone


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