| No TPTP formula. May not be expressible in strict first order. | Weather.kif 808-808 | 天气前线 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 814-814 | 温暖的前线 是 天气前线 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 820-820 | 冷锋 是 天气前线 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 826-826 | 封闭的前方 是 天气前线 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 832-832 | 固定的前方 是 天气前线 的 subclass |
|
|