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

Formal Language: 



Term 1: Term 2:

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


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