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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Deposition
Deposition

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


(documentation Deposition ChineseLanguage "这个 Process Class 发生在当 Object 遇冷,而 无需经过 Liquid 状态直接从 Gas 转成 Solid。") Geography.kif 7292-7293
(documentation Deposition EnglishLanguage "The Class of Processes where an Object is cooled and converted directly from a Gas to a Solid, without going through the state of being a Liquid.") Geography.kif 7288-7290
(relatedInternalConcept Deposition Sublimation) Geography.kif 7347-7347 DepositionSublimationinternally 関連して
(subclass Deposition StateChange) Geography.kif 7295-7295 Deposition状態変化subclass では

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


(subclass Frosting Deposition) Weather.kif 3463-3463 FrostingDepositionsubclass では
(termFormat ChineseLanguage Deposition "凝华") Geography.kif 7299-7299 FrostingDepositionsubclass では
(termFormat EnglishLanguage Deposition "deposition") Geography.kif 7297-7297 FrostingDepositionsubclass では

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


(=>
    (and
        (instance ?DEPOSITION Deposition)
        (patient ?DEPOSITION ?OBJ)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?X Joule)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?DEPOSITION))
            (measure ?OBJ
                (MeasureFn ?Y Joule))))
    (lessThan ?Y ?X))
Geography.kif 7320-7334
(=>
    (and
        (instance ?DEPOSITION Deposition)
        (patient ?DEPOSITION ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?DEPOSITION))
                (attribute ?PART Gas))
            (holdsDuring
                (EndFn
                    (WhenFn ?DEPOSITION))
                (attribute ?PART Solid))
            (not
                (holdsDuring
                    (WhenFn ?DEPOSITION)
                    (attribute ?PART Liquid))))))
Geography.kif 7301-7318


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