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

Formal Language: 



Term 1: Term 2:

(subclass Combining DualObjectProcess) Merge.kif 12224-12224 Combining is a subclass of dual object process
(subclass Aerating Combining) Mid-level-ontology.kif 1855-1855 Aerating is a subclass of combining
(subclass Stirring Combining) Mid-level-ontology.kif 16970-16970 Stirring is a subclass of combining
(subclass ChemicalSynthesis Combining) Merge.kif 12291-12291 Chemical synthesis is a subclass of combining
(subclass Acidification Combining) Geography.kif 2475-2475 Acidification is a subclass of combining
(subclass Salination Combining) Geography.kif 2824-2824 Salination is a subclass of combining


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