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

Formal Language: 



Term 1: Term 2:

(subclass Windstorm Storm) Weather.kif 1238-1238 Windstorm ist eine teilkategorie von Storm
(subclass Pampero Windstorm) Weather.kif 1246-1246 Pampero ist eine teilkategorie von Windstorm


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