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

Formal Language: 



Term 1: Term 2:

(subclass WeatherProcess Motion) Merge.kif 11219-11219
(subclass WeatherSeason WeatherProcess) Weather.kif 503-503
(subclass WeatherSystem WeatherProcess) Weather.kif 521-521
(subclass StormSystem WeatherProcess) Weather.kif 806-806
(subclass WeatherFront WeatherProcess) Weather.kif 808-808
(subclass Waterspout WeatherProcess) Weather.kif 840-840
(subclass ClearWeather WeatherProcess) Weather.kif 873-873
(subclass PartlyCloudyWeather WeatherProcess) Weather.kif 896-896
(subclass OvercastWeather WeatherProcess) Weather.kif 923-923
(subclass Wind WeatherProcess) Weather.kif 1237-1237
(subclass Zud WeatherProcess) Weather.kif 1325-1325
(subclass HeavySurf WeatherProcess) Weather.kif 1550-1550
(subclass Tsunami WeatherProcess) Weather.kif 2455-2455
(subclass Drought WeatherProcess) Weather.kif 2462-2462
(subclass Desertification WeatherProcess) Weather.kif 2480-2480
(subclass Icing WeatherProcess) Weather.kif 2507-2507
(subclass Fogging WeatherProcess) Weather.kif 2529-2529
(subclass AtmosphericHazing WeatherProcess) Weather.kif 2558-2558
(subclass Frosting WeatherProcess) Weather.kif 2775-2775
(subclass Storm WeatherProcess) Weather.kif 2885-2885
(subclass Lightning WeatherProcess) Mid-level-ontology.kif 3038-3038
(subclass Thunder WeatherProcess) Mid-level-ontology.kif 3050-3050
(subclass Precipitation WeatherProcess) Merge.kif 11227-11227


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