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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StateChange

 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 13775-13776
No TPTP formula. May not be expressible in strict first order. Merge.kif 13774-13774 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 13944-13944 Boiling is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10487-10487 Coagulation is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Merge.kif 13990-13990 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 13969-13969 Evaporating is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Merge.kif 14011-14011 Freezing is a subclass of state change
No TPTP formula. May not be expressible in strict first order. Merge.kif 13923-13923 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 13778-13789


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