Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Melting

Sigma KEE - Melting
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13863-13878
No TPTP formula. May not be expressible in strict first order. Weather.kif 1158-1170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5659-5664


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners