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
-------------------------


(documentation StateChange ChineseLanguage "这是任何当 Process patientpartPhysicalState 受到改变的 Process。") Merge.kif 13738-13739
(documentation StateChange EnglishLanguage "Any Process where the PhysicalState of part of the patient of the Process changes.") Merge.kif 13736-13737
(subclass StateChange InternalChange) Merge.kif 13735-13735 State change is a subclass of internal change

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


(subclass Boiling StateChange) Merge.kif 13915-13915 Boiling is a subclass of state change
(subclass Condensing StateChange) Merge.kif 13958-13958 Condensing is a subclass of state change
(subclass Deposition StateChange) Geography.kif 6313-6313 Deposition is a subclass of state change
(subclass Evaporating StateChange) Merge.kif 13938-13938 Evaporating is a subclass of state change
(subclass Freezing StateChange) Merge.kif 13981-13981 Freezing is a subclass of state change
(subclass Melting StateChange) Merge.kif 13892-13892 Melting is a subclass of state change
(subclass Sublimation StateChange) Geography.kif 6363-6363 Sublimation is a subclass of state change
(termFormat ChineseLanguage StateChange "状态改变") chinese_format.kif 1226-1226 "状态改变" is the printable form of state change in ChineseLanguage
(termFormat EnglishLanguage StateChange "state change") english_format.kif 1759-1759 "state change" is the printable form of state change in english language
(termFormat JapaneseLanguage StateChange "状態変化") english_format.kif 1760-1760 "状態変化" is the printable form of state change in japanese language

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 13741-13752


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners