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

Formal Language: 



Term 1: Term 2:

(subclass Uncovering Removing) Merge.kif 11415-11415 Uncovering ist eine teilkategorie von Removing
(subclass RemovingClothing Uncovering) Mid-level-ontology.kif 5532-5532 RemovingClothing ist eine teilkategorie von Uncovering


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