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

Formal Language: 



Term 1: Term 2:

(subclass Precipitation WeatherProcess) Merge.kif 11239-11239
(subclass Precipitation WaterMotion) Merge.kif 11240-11240
(subclass Precipitation Falling) Merge.kif 11241-11241
(subclass Raining Precipitation) Weather.kif 1026-1026
(subclass FreezingRain Precipitation) Weather.kif 1058-1058
(subclass Snowing Precipitation) Weather.kif 1119-1119
(subclass Sleeting Precipitation) Weather.kif 1135-1135
(subclass Hailing Precipitation) Weather.kif 1158-1158


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