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 |