| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1042-1042 | 子類 下雨 and 沉澱 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1107-1107 | 子類 大雨 and 下雨 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2801-2801 | 子類 Drizzling and 下雨 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2863-2863 | 子類 RainShowering and 下雨 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2493-2493 | 子類 酸雨 and 下雨 |
|
|