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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StateChange
StateChange

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


(documentation StateChange ChineseLanguage "这是任何当 Process patientpartPhysicalState 受到改变的 Process。") chinese_format.kif 3335-3336
(documentation StateChange EnglishLanguage "Any Process where the PhysicalState of part of the patient of the Process changes.") Merge.kif 13513-13514
(subclass StateChange InternalChange) Merge.kif 13512-13512

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


(subclass Boiling StateChange) Merge.kif 13682-13682
(subclass Clotting StateChange) Mid-level-ontology.kif 10000-10000
(subclass Condensing StateChange) Merge.kif 13721-13721
(subclass Deposition StateChange) Geography.kif 6679-6679
(subclass Evaporating StateChange) Merge.kif 13703-13703
(subclass Freezing StateChange) Merge.kif 13742-13742
(subclass Melting StateChange) Merge.kif 13661-13661
(subclass Sublimation StateChange) Geography.kif 6729-6729
(termFormat ChineseLanguage StateChange "状态改变") chinese_format.kif 1226-1226
(termFormat EnglishLanguage StateChange "state change") english_format.kif 1673-1673

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


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