Melting(melting) more pictures... | deliquesce, dethaw, dissolve, dissolved, liquefied, liquescent, liquid, liquified, melt, melt_down, melted, melting, molten, run, slushy, thaw, thawed, thawing, unfreeze, unmelted, unthaw, warming |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1422-1423 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13902-13903 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7313-7313 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6697-6697 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7309-7309 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7315-7315 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7310-7310 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7308-7308 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7316-7316 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7312-7312 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7307-7307 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7314-7314 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7306-7306 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7311-7311 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13901-13901 | Melting is a subclass of state change |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1227-1227 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1675-1675 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 905-905 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 438-438 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 441-441 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2589-2589 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 857-857 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 443-443 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 477-477 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 926-926 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 442-442 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13912-13920 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13905-13910 |
|
consequent |