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

Formal Language: 



Term 1: Term 2:

(subclass Tornado Storm) Weather.kif 1644-1644 Tornado ist eine teilkategorie von Storm
(subclass Tornado CyclonicStorm) Weather.kif 1645-1645 Tornado ist eine teilkategorie von CyclonicStorm


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