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

Formal Language: 



Term 1: Term 2:

(subclass Raining Precipitation) Weather.kif 1026-1026
(subclass HeavyRaining Raining) Weather.kif 1091-1091
(subclass Drizzling Raining) Weather.kif 2784-2784
(subclass RainShowering Raining) Weather.kif 2846-2846
(subclass AcidRainfall Raining) Geography.kif 2493-2493


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