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

Formal Language: 



Term 1: Term 2:

(subclass WeatherProcess Motion) Merge.kif 11197-11197
(subclass WeatherSeason WeatherProcess) Weather.kif 503-503
(subclass WeatherSystem WeatherProcess) Weather.kif 521-521
(subclass StormSystem WeatherProcess) Weather.kif 810-810
(subclass WeatherFront WeatherProcess) Weather.kif 812-812
(subclass Waterspout WeatherProcess) Weather.kif 844-844
(subclass ClearWeather WeatherProcess) Weather.kif 877-877
(subclass PartlyCloudyWeather WeatherProcess) Weather.kif 900-900
(subclass OvercastWeather WeatherProcess) Weather.kif 927-927
(subclass Wind WeatherProcess) Weather.kif 1241-1241
(subclass Zud WeatherProcess) Weather.kif 1329-1329
(subclass HeavySurf WeatherProcess) Weather.kif 1554-1554
(subclass Tsunami WeatherProcess) Weather.kif 2459-2459
(subclass Drought WeatherProcess) Weather.kif 2466-2466
(subclass Desertification WeatherProcess) Weather.kif 2484-2484
(subclass Icing WeatherProcess) Weather.kif 2511-2511
(subclass Fogging WeatherProcess) Weather.kif 2533-2533
(subclass AtmosphericHazing WeatherProcess) Weather.kif 2562-2562
(subclass Frosting WeatherProcess) Weather.kif 2779-2779
(subclass Storm WeatherProcess) Weather.kif 2889-2889
(subclass Lightning WeatherProcess) Mid-level-ontology.kif 3038-3038
(subclass Thunder WeatherProcess) Mid-level-ontology.kif 3050-3050
(subclass Precipitation WeatherProcess) Merge.kif 11205-11205


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