| 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. | Merge.kif 11206-11206 | Precipitation is a subclass of water motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11207-11207 | Precipitation is a subclass of falling |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1042-1042 | Raining is a subclass of precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1074-1074 | Freezing rain is a subclass of precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1135-1135 | Snowing is a subclass of precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1151-1151 | Sleeting is a subclass of precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1174-1174 | Hailing is a subclass of precipitation |
|
|