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 2025-2026
(externalImage VaporCompressionCycle "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5d/ Refrigeration.png")	Cars.kif 2027-2027
(subclass VaporCompressionCycle Cooling)	Cars.kif 2023-2023	VaporCompressionCycle ist eine teilkategorie von Cooling

appearance as argument number 2

Cars.kif 2024-2024

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 2029-2049

Wenn Process ist ein fall von VaporCompressionCycle %n{nicht},
dann es gibt ** Process, ** Process,, , ** Process, and und ** ** Process2 um ** ** Process ist ein fall von Compressing %n{nicht} und ** ** Process ist ein fall von Condensing %n{nicht} und ** ** Process ist ein fall von Evaporating %n{nicht} und ** ** Process2 ist ein fall von Compressing %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein subProzess von ** Process und ** ** Process2 ist ein subProzess von ** Process und die zeit des Bestehens von ** ** Process schliesst die zeit des Bestehens von ** ** Process zeitlich an und die zeit des Bestehens von ** ** Process schliesst die zeit des Bestehens von ** ** Process zeitlich an und die zeit des Bestehens von ** ** Process schliesst die zeit des Bestehens von ** ** Process2 zeitlich an