Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass StateChange InternalChange) Merge.kif 14062-14062 State change is a subclass of internal change
(documentation StateChange EnglishLanguage "Any Process where the PhysicalState of part of the patient of the Process changes.") Merge.kif 14063-14064 State change is a subclass of internal change

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


(subclass Melting StateChange) Merge.kif 14210-14210 Melting is a subclass of state change
(subclass Boiling StateChange) Merge.kif 14231-14231 Boiling is a subclass of state change
(subclass Evaporating StateChange) Merge.kif 14256-14256 Evaporating is a subclass of state change
(subclass Condensing StateChange) Merge.kif 14277-14277 Condensing is a subclass of state change
(subclass Freezing StateChange) Merge.kif 14298-14298 Freezing is a subclass of state change
(subclass Clotting StateChange) Mid-level-ontology.kif 11941-11941 Coagulation is a subclass of state change
(subclass Curdling StateChange) Food.kif 3209-3209 Curdling is a subclass of state change
(subclass Deposition StateChange) Geography.kif 8655-8655 Deposition is a subclass of state change
(subclass Sublimation StateChange) Geography.kif 8705-8705 Sublimation is a subclass of state change
(termFormat EnglishLanguage StateChange "state change") english_format.kif 1677-1677 Sublimation is a subclass of state change

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


(=>
    (and
        (instance ?PROCESS StateChange)
        (patient ?PROCESS ?OBJ))
    (exists (?PART ?STATE1 ?STATE2)
        (and
            (part ?PART ?OBJ)
            (instance ?STATE1 PhysicalState)
            (instance ?STATE2 PhysicalState)
            (not
                (equal ?STATE1 ?STATE2))
            (holdsDuring
                (BeginFn
                    (WhenFn ?PROCESS))
                (attribute ?PART ?STATE1))
            (holdsDuring
                (EndFn
                    (WhenFn ?PROCESS))
                (attribute ?PART ?STATE2)))))		 Merge.kif 14066-14077 If X is an instance of state change and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is a part of Y (3) W is an instance of physical state (4) V is an instance of physical state (5) equal W (6) V (7) W is an attribute of Z holds during the beginning of the time of existence of X (8) V is an attribute of Z holds during the end of the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners