Icing(刨冰) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2509-2509 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2507-2508 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2480-2480 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2512-2512 | 刨冰 是 结冰 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2511-2511 | 刨冰 是 天气过程 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29163-29163 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2510-2510 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29162-29162 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29161-29161 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2514-2524 |