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

Formal Language: 



Term 1: Term 2:

(subclass Precipitation WeatherProcess) Merge.kif 11227-11227 沉淀天气过程subclass
(subclass Precipitation WaterMotion) Merge.kif 11228-11228 沉淀水运动subclass
(subclass Precipitation Falling) Merge.kif 11229-11229 沉淀落下subclass
(subclass Raining Precipitation) Weather.kif 1038-1038 下雨沉淀subclass
(subclass FreezingRain Precipitation) Weather.kif 1070-1070 冻雨沉淀subclass
(subclass Snowing Precipitation) Weather.kif 1131-1131 下雪沉淀subclass
(subclass Sleeting Precipitation) Weather.kif 1147-1147 雨雪沉淀subclass
(subclass Hailing Precipitation) Weather.kif 1170-1170 下冰雹沉淀subclass


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