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

Formal Language: 



Term 1: Term 2:

(subclass HeavySurf WeatherProcess) Weather.kif 1554-1554 HeavySurf ist eine teilkategorie von WeatherProcess
(subclass HeavySurf WaterMotion) Weather.kif 1555-1555 HeavySurf ist eine teilkategorie von WaterMotion


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