| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11197-11197 | 天气过程 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 503-503 | 天气季节 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 521-521 | 天气系统 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 810-810 | 风暴系统 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 812-812 | 天气前线 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 844-844 | 水龙卷 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 877-877 | 天气晴朗 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 900-900 | 部分多云的天气 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 927-927 | 阴云密布的天气 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1241-1241 | 风 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1329-1329 | ZUD 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1554-1554 | 高激浪 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2459-2459 | 海啸 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2466-2466 | 干旱 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2484-2484 | 荒漠化 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2511-2511 | 刨冰 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2533-2533 | 雾 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2562-2562 | 阴霾 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2779-2779 | 霜 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2889-2889 | 风暴 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3038-3038 | 闪电 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3050-3050 | 雷 是 天气过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11205-11205 | 沉淀 是 天气过程 的 subclass |
|
|