| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1241-1241 | 子類 風 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11256-11256 | 子類 風 and 氣體運動 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1243-1243 | 子類 大風 and 風 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1244-1244 | 子類 熱風 and 風 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1245-1245 | 子類 哈馬坦風 and 風 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1246-1246 | 子類 坎辛風 and 風 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1247-1247 | 子類 寒冷西北風 and 風 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1248-1248 | 子類 吉卜力 and 風 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1249-1249 | 子類 奇努克風 and 風 |
|
|