VaporCompressionCycle - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VaporCompressionCycle EnglishLanguage "A complete cycle of Compressing, Condensing and Evaporating, for the purpose of Cooling.")	Cars.kif 2003-2004
(externalImage VaporCompressionCycle "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5d/ Refrigeration.png")	Cars.kif 2005-2005
(subclass VaporCompressionCycle Cooling)	Cars.kif 2001-2001	Vapor compression cycle is a subclass of cooling

appearance as argument number 2

Cars.kif 2002-2002

antecedent

(=>
    (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 2007-2027