VaporCompressionCycle - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

If X is an instance of vapor compression cycle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of compressing (3) Z is an instance of condensing (4) W is an instance of evaporating (5) V is an instance of compressing (6) Y is a subprocess of X (7) Z is a subprocess of X (8) W is a subprocess of X (9) V is a subprocess of X (10) the time of existence of Y meets the time of existence of Z (11) the time of existence of Z meets the time of existence of W (12) the time of existence of W meets the time of existence of V