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

Formal Language: 



Term 1: Term 2:

(subclass Raining Precipitation) Weather.kif 1026-1026 下雨沉淀subclass
(subclass HeavyRaining Raining) Weather.kif 1091-1091 大雨下雨subclass
(subclass Drizzling Raining) Weather.kif 2784-2784 毛毛雨下雨subclass
(subclass RainShowering Raining) Weather.kif 2846-2846 骤雨下雨subclass
(subclass AcidRainfall Raining) Geography.kif 2493-2493 酸雨下雨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