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

Formal Language: 



Term 1: Term 2:

(subclass Combining DualObjectProcess) Merge.kif 12456-12456 Combining is a subclass of dual object process
(subclass Aerating Combining) Mid-level-ontology.kif 1896-1896 Aerating is a subclass of combining
(subclass Stirring Combining) Mid-level-ontology.kif 17529-17529 Stirring is a subclass of combining
(subclass ChemicalSynthesis Combining) Merge.kif 12523-12523 Chemical synthesis is a subclass of combining
(subclass Acidification Combining) Geography.kif 2472-2472 Acidifying is a subclass of combining
(subclass Salination Combining) Geography.kif 2893-2893 Salinifying 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