Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WeatherProcess
WeatherProcess(weather process)
atmospheric_condition, cold_wave, conditions, elements, equinoctial_storm, heat_wave, line_storm, wave, weather, weather_condition

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11198-11198 Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3017-3018
No TPTP formula. May not be expressible in strict first order. Merge.kif 11200-11203
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1781-1783
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2061-2061
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8794-8794
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9813-9813
No TPTP formula. May not be expressible in strict first order. Merge.kif 11197-11197 Weather process is a subclass of motion

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2562-2562 Atmospheric hazing is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 877-877 Clear weather is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 2484-2484 Desertification is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 2466-2466 Drought is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 2533-2533 Fog is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 2779-2779 Frosting is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 1554-1554 Heavy zone is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 2511-2511 Icing is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3038-3038 Lightning is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 927-927 Overcast weather is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 900-900 Partly cloudy weather is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11205-11205 Precipitation is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 2889-2889 Storm is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 810-810 Storm system is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3050-3050 Thunder is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 2459-2459 Tsunami is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 844-844 Waterspout is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 812-812 Weather front is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 503-503 Weather season is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 521-521 Weather system is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 1241-1241 Wind is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. Weather.kif 1329-1329 Zud is a subclass of weather process
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62613-62613
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62612-62612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62611-62611

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1186-1186 The number 1 argument of precipitation state is an instance of weather process


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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