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

Formal Language: 



Term 1: Term 2:

(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 12130-12130 Comparing ist eine teilkategorie von IntentionalPsychologicalProcess
(subclass Comparing DualObjectProcess) Merge.kif 12131-12131 Comparing ist eine teilkategorie von DualObjectProcess


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