| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2562-2562 |
子類 AtmosphericHazing and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 877-877 |
子類 天氣晴朗 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2484-2484 |
子類 荒漠化 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2466-2466 |
子類 乾旱 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2533-2533 |
子類 Fogging and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2779-2779 |
子類 Frosting and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1554-1554 |
子類 高激浪 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2511-2511 |
子類 刨冰 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3038-3038 |
子類 閃電 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 927-927 |
子類 陰雲密布的天氣 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 900-900 |
子類 部分多雲的天氣 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11205-11205 |
子類 沉澱 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2889-2889 |
子類 Storm and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 810-810 |
子類 風暴系統 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3050-3050 |
子類 雷 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2459-2459 |
子類 海嘯 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 844-844 |
子類 水龍捲 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 812-812 |
子類 天氣前線 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 503-503 |
子類 天氣季節 and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 521-521 |
子類 天氣系統 and 天氣過程 |
| 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. |
Weather.kif 1329-1329 |
子類 ZUD and 天氣過程 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62613-62613 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62612-62612 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62611-62611 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
