| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11197-11197 | Weather process is a subclass of motion |
| 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 810-810 | Storm system 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 844-844 | Waterspout 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 900-900 | Partly cloudy weather 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 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. | 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 2459-2459 | Tsunami 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 2484-2484 | Desertification 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. | Weather.kif 2533-2533 | Fog is a subclass of weather process |
| 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 2779-2779 | Frosting 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. | Mid-level-ontology.kif 3038-3038 | Lightning 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. | Merge.kif 11205-11205 | Precipitation is a subclass of weather process |
|
|