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 |
appearance as argument number 2 |
(termFormat EnglishLanguage VaporCompressionCycle "vapor compression cycle") | 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 |