Sleeting(雨雪) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1138-1139 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1136-1137 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1135-1135 | 雨雪 是 沉淀 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1140-1140 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53380-53380 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53379-53379 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53378-53378 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1142-1154 |
|