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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StateChange
StateChange(state change)blood_clotting, blood_coagulation, clogged, clotted, clotting, coagulate, coagulated, coagulation, concrete, congealed, curdled, curdling, dissolution, dissolving, evaporated, evaporation, gasified, grumose, grumous, hardened, jelled, jellied, libration, lie, liquefaction, liquefied, liquefy, liquified, oscillation, phase_change, phase_transition, physical_change, set, solidified, state_change, sublimated, sublimed, thermocoagulation, vapor, vaporisation, vaporization, vaporized, vapour, vapourised, vitrification, volatilised, volatilized, woody

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3335-3336
No TPTP formula. May not be expressible in strict first order. Merge.kif 13753-13754
No TPTP formula. May not be expressible in strict first order. Merge.kif 13752-13752 State change is a subclass of internal change

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13922-13922 Boiling is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10488-10488 Coagulation is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Merge.kif 13968-13968 Condensing is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Food.kif 3179-3179 Curdling is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Geography.kif 6991-6991 Deposition is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Merge.kif 13947-13947 Evaporating is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Merge.kif 13989-13989 Freezing is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Merge.kif 13901-13901 Melting is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Geography.kif 7041-7041 Sublimation is a subclass of state change
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1226-1226
No TPTP formula. May not be expressible in strict first order. english_format.kif 1673-1673
No TPTP formula. May not be expressible in strict first order. french_format.kif 904-904
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 437-437
No TPTP formula. May not be expressible in strict first order. terms-it.txt 440-440
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2588-2588
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 856-856
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 476-476
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 925-925
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 441-441

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13756-13767


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



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