|
|
   Precipitation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3019-3020 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11209-11211 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1784-1785 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11207-11207 | 子類 沉澱 and 落下 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11206-11206 | 子類 沉澱 and 水運動 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11205-11205 | 子類 沉澱 and 天氣過程 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1074-1074 | 子類 凍雨 and 沉澱 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1174-1174 | 子類 下冰雹 and 沉澱 |
| 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 1151-1151 | 子類 雨雪 and 沉澱 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1135-1135 | 子類 下雪 and 沉澱 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47108-47108 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47107-47107 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47106-47106 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1212-1212 | 域 降水量, 1 and 沉澱 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1203-1203 | 域 降水率, 1 and 沉澱 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11213-11218 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2893-2903 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1033-1038 |
|
|
|