TreeView Knowledge Base Browser - VaporCompressionCycle

appearance as argument number 1

(documentation VaporCompressionCycle EnglishLanguage "A complete cycle of Compressing, Condensing and Evaporating, for the purpose of Cooling.")	Cars.kif 2002-2003
(externalImage VaporCompressionCycle "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5d/ Refrigeration.png")	Cars.kif 2004-2004
(subclass VaporCompressionCycle Cooling)	Cars.kif 2000-2000	VaporCompressionCycle e' uma sub-classe de Resfriar

appearance as argument number 2

Cars.kif 2001-2001

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 2006-2026