Snowstorm(snow storm) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2934-2935 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2932-2933 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2936-2936 | Snow storm is a subclass of storm |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2938-2938 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2937-2937 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2940-2955 |
|