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

Formal Language: 



Term 1: Term 2:

(subclass DustStorm Storm) Weather.kif 1253-1253 DustStorm ist eine teilkategorie von Storm
(subclass SandStorm DustStorm) Weather.kif 1298-1298 SandStorm ist eine teilkategorie von DustStorm
(subclass Haboob DustStorm) Weather.kif 1310-1310 Haboob ist eine teilkategorie von DustStorm


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