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

Formal Language: 



Term 1: Term 2:

(subclass Poking IntentionalProcess) Merge.kif 12353-12353 Poking ist eine teilkategorie von IntentionalProcess
(subclass Cutting Poking) Merge.kif 12365-12365 Cutting ist eine teilkategorie von Poking


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