Precipitation(precipitation) | ![]() | come_down, downfall, drizzle, fall, fine_spray, hail, mizzle, patter, pitter-patter, precipitate, precipitation, sheet, shower, shower_down, spatter, spit, sprinkle |
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 11332-11334 | |
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 11330-11330 | Precipitation is a subclass of falling |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11329-11329 | Precipitation is a subclass of water motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11328-11328 | Precipitation is a subclass of weather process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1309-1309 | Freezing rain is a subclass of precipitation |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1409-1409 | Hailing is a subclass of precipitation |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1277-1277 | Raining is a subclass of precipitation |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1386-1386 | Sleeting is a subclass of precipitation |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1370-1370 | Snowing is a subclass of precipitation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47110-47110 | Snowing is a subclass of precipitation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47109-47109 | Snowing is a subclass of precipitation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47108-47108 | Snowing is a subclass of precipitation |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1447-1447 | The number 1 argument of precipitation amount is an instance of precipitation |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1438-1438 | The number 1 argument of precipitation rate is an instance of precipitation |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11336-11341 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3410-3420 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1268-1273 |
|
![]() |
![]() |