RainShowering(rain showering) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2860-2860 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2858-2859 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2863-2863 | Rain showering is a subclass of raining |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2862-2862 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2861-2861 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2865-2879 |
|