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

Formal Language: 



Term 1: Term 2:

(subclass Windstorm Storm) Weather.kif 1226-1226 Windstorm ist eine teilkategorie von Storm
(subclass Pampero Windstorm) Weather.kif 1234-1234 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