Sleeting(sleeting) | sleet |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1154-1155 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1152-1153 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1151-1151 | Sleeting is a subclass of precipitation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1156-1156 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53378-53378 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53377-53377 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53376-53376 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1158-1170 |
|