| 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 11243-11245 | |
| 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 11241-11241 | Precipitation e' uma sub-classe de Falling |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11240-11240 | Precipitation e' uma sub-classe de WaterMotion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11239-11239 | Precipitation e' uma sub-classe de WeatherProcess |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1058-1058 | FreezingRain e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1158-1158 | Hailing e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1026-1026 | Raining e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1135-1135 | Sleeting e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1119-1119 | Snowing e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47110-47110 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47109-47109 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47108-47108 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1196-1196 | O argumento numero 1 de precipitationAmount e' uma instancia de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1187-1187 | O argumento numero 1 de precipitationRate e' uma instancia de Precipitation |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11247-11252 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2876-2886 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1017-1022 |
|
|
|
|