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

Formal Language: 



Term 1: Term 2:

(subclass LowPressureWeatherSystem WeatherSystem) Weather.kif 540-540 LowPressureWeatherSystem ist eine teilkategorie von WeatherSystem
(subclass CyclonicStorm LowPressureWeatherSystem) Weather.kif 552-552 CyclonicStorm ist eine teilkategorie von LowPressureWeatherSystem


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