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

Formal Language: 



Term 1: Term 2:

(subclass WeatherProcess Motion) Merge.kif 11219-11219 天气过程 是 运动 的 subclass
(subclass WeatherSeason WeatherProcess) Weather.kif 503-503 天气季节 是 天气过程 的 subclass
(subclass WeatherSystem WeatherProcess) Weather.kif 521-521 天气系统 是 天气过程 的 subclass
(subclass StormSystem WeatherProcess) Weather.kif 806-806 风暴系统 是 天气过程 的 subclass
(subclass WeatherFront WeatherProcess) Weather.kif 808-808 天气前线 是 天气过程 的 subclass
(subclass Waterspout WeatherProcess) Weather.kif 840-840 水龙卷 是 天气过程 的 subclass
(subclass ClearWeather WeatherProcess) Weather.kif 873-873 天气晴朗 是 天气过程 的 subclass
(subclass PartlyCloudyWeather WeatherProcess) Weather.kif 896-896 部分多云的天气 是 天气过程 的 subclass
(subclass OvercastWeather WeatherProcess) Weather.kif 923-923 阴云密布的天气 是 天气过程 的 subclass
(subclass Wind WeatherProcess) Weather.kif 1237-1237 风 是 天气过程 的 subclass
(subclass Zud WeatherProcess) Weather.kif 1325-1325 ZUD 是 天气过程 的 subclass
(subclass HeavySurf WeatherProcess) Weather.kif 1550-1550 高激浪 是 天气过程 的 subclass
(subclass Tsunami WeatherProcess) Weather.kif 2455-2455 海啸 是 天气过程 的 subclass
(subclass Drought WeatherProcess) Weather.kif 2462-2462 干旱 是 天气过程 的 subclass
(subclass Desertification WeatherProcess) Weather.kif 2480-2480 荒漠化 是 天气过程 的 subclass
(subclass Icing WeatherProcess) Weather.kif 2507-2507 刨冰 是 天气过程 的 subclass
(subclass Fogging WeatherProcess) Weather.kif 2529-2529 雾 是 天气过程 的 subclass
(subclass AtmosphericHazing WeatherProcess) Weather.kif 2558-2558 阴霾 是 天气过程 的 subclass
(subclass Frosting WeatherProcess) Weather.kif 2775-2775 霜 是 天气过程 的 subclass
(subclass Storm WeatherProcess) Weather.kif 2885-2885 风暴 是 天气过程 的 subclass
(subclass Lightning WeatherProcess) Mid-level-ontology.kif 3038-3038 闪电 是 天气过程 的 subclass
(subclass Thunder WeatherProcess) Mid-level-ontology.kif 3050-3050 雷 是 天气过程 的 subclass
(subclass Precipitation WeatherProcess) Merge.kif 11227-11227 沉淀 是 天气过程 的 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