Raining(raining)![]() ![]() ![]() | ![]() | cloudburst, deluge, downpour, drizzle, mizzle, pelter, rain, rain_down, rain_shower, raindrop, rainfall, rainstorm, shower, soaker, thundershower, torrent, virga, waterspout |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1283-1284 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1279-1281 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2325-2325 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1945-1945 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2324-2324 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1277-1277 | Raining is a subclass of precipitation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2618-2618 | Acid rainfall is a subclass of raining |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3487-3487 | Drizzling is a subclass of raining |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1342-1342 | Heavy raining is a subclass of raining |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3549-3549 | Rain showering is a subclass of raining |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48696-48696 | Rain showering is a subclass of raining |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1286-1286 | Rain showering is a subclass of raining |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48695-48695 | Rain showering is a subclass of raining |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48694-48694 | Rain showering is a subclass of raining |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3651-3656 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1288-1290 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1292-1305 |
|
consequent |
![]() |
![]() |
![]() |