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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Condensing
Condensing(condensing)
more pictures...
carbonisation, carbonization, condensate, condensation, destructive_distillation, distillation, distillment, fractional_distillation, sweat

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


(documentation Condensing ChineseLanguage "这是当 Object 受冷时而从Gas 转成 Liquid ProcessClass。") chinese_format.kif 1428-1429
(documentation Condensing EnglishLanguage "The Class of Processes where an Object is cooled and converted from a Gas to a Liquid.") Merge.kif 13969-13970
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg") pictureList.kif 9953-9953
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Spider_web_Luc_Viatour.jpg") pictureList.kif 10703-10703
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Science.jpg") pictureList.kif 10704-10704
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Blue_morpho_butterfly.jpg") pictureList.kif 10705-10705
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") pictureList.kif 10706-10706
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Condensation_on_water_bottle.jpg") pictureList.kif 10707-10707
(subclass Condensing StateChange) Merge.kif 13968-13968 Condensing is a subclass of state change

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


(termFormat ChineseLanguage Condensing "凝结") chinese_format.kif 1229-1229
(termFormat EnglishLanguage Condensing "condensing") english_format.kif 1679-1679
(termFormat FrenchLanguage Condensing "condenser") french_format.kif 907-907
(termFormat Hindi Condensing "sanghanana") terms-hindi.txt 440-440
(termFormat ItalianLanguage Condensing "Condensare") terms-it.txt 443-443
(termFormat JapaneseLanguage Condensing "凝縮") japanese_format.kif 2591-2591
(termFormat PortugueseLanguage Condensing "Condensar") portuguese_format.kif 859-859
(termFormat cz Condensing "kondenzace") terms-cz.txt 479-479
(termFormat ro Condensing "condensare") relations-ro.kif 928-928
(termFormat tg Condensing "pinapalapot") terms-tg.txt 444-444

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


(=>
    (and
        (instance ?COND Condensing)
        (patient ?COND ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?COND))
                (attribute ?PART Gas))
            (holdsDuring
                (EndFn
                    (WhenFn ?COND))
                (attribute ?PART Liquid)))))
Merge.kif 13979-13987
(=>
    (instance ?COND Condensing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?COND))))
Merge.kif 13972-13977

consequent
-------------------------


(=>
    (instance ?ACC AirConditioningCondenser)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Condensing)
                (instrument ?C ?ACC)))))
Cars.kif 2061-2067
(=>
    (instance ?VCC VaporCompressionCycle)
    (exists (?CMP ?COND ?EV ?CMP2)
        (and
            (instance ?CMP Compressing)
            (instance ?COND Condensing)
            (instance ?EV Evaporating)
            (instance ?CMP2 Compressing)
            (subProcess ?CMP ?VCC)
            (subProcess ?COND ?VCC)
            (subProcess ?EV ?VCC)
            (subProcess ?CMP2 ?VCC)
            (meetsTemporally
                (WhenFn ?CMP)
                (WhenFn ?COND))
            (meetsTemporally
                (WhenFn ?COND)
                (WhenFn ?EV))
            (meetsTemporally
                (WhenFn ?EV)
                (WhenFn ?CMP2)))))
Cars.kif 2023-2043


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