| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11219-11219 | 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 806-806 | Storm system is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 808-808 | Weather front is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 840-840 | Waterspout is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 873-873 | Clear weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 896-896 | Partly cloudy weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 923-923 | Overcast weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1237-1237 | Wind is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1325-1325 | Zud is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1550-1550 | Heavy zone is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2455-2455 | Tsunami is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2462-2462 | Drought is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2480-2480 | Desertification is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2507-2507 | Icing is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2529-2529 | Fog is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2558-2558 | Atmospheric hazing is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2775-2775 | Frosting is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2885-2885 | 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 11227-11227 | Precipitation is a subclass of weather process |
|
|