|
|
   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 11231-11233 | |
| 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 11229-11229 | Precipitation e' uma sub-classe de Falling |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11228-11228 | Precipitation e' uma sub-classe de WaterMotion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11227-11227 | 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 1070-1070 | FreezingRain e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1170-1170 | Hailing e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1038-1038 | Raining e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1147-1147 | Sleeting e' uma sub-classe de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1131-1131 | Snowing e' uma sub-classe de Precipitation |
| 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 1208-1208 | O argumento numero 1 de precipitationAmount e' uma instancia de Precipitation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1199-1199 | 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 11235-11240 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2889-2899 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1029-1034 |
|
|
|
|