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

Formal Language: 



Term 1: Term 2:

(subclass Raining Precipitation) Weather.kif 1042-1042 Raining est une sous-classe de Precipitation
(subclass HeavyRaining Raining) Weather.kif 1107-1107 HeavyRaining est une sous-classe de Raining
(subclass Drizzling Raining) Weather.kif 2801-2801 Drizzling est une sous-classe de Raining
(subclass RainShowering Raining) Weather.kif 2863-2863 RainShowering est une sous-classe de Raining
(subclass AcidRainfall Raining) Geography.kif 2493-2493 AcidRainfall est une sous-classe de Raining


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