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

Formal Language: 



Term 1: Term 2:

(subclass GasMotion Motion) Merge.kif 11266-11266 GasMotion ist eine teilkategorie von Motion
(subclass Wind GasMotion) Merge.kif 11278-11278 Wind ist eine teilkategorie von GasMotion


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