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

Formal Language: 



Term 1: Term 2:

(subclass BodyJunction BodyPart) Merge.kif 15086-15086 BodyJunction ist eine teilkategorie von BodyPart
(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 11703-11703 BodyJoint ist eine teilkategorie von BodyJunction


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