AirConditioningCompressor(air conditioning compressor) |
appearance as argument number 1 |
(documentation AirConditioningCompressor EnglishLanguage "A Machine that pulls refrigerant in its Gas state out of the AirConditioningEvaporator and subjects it to Compressing in a VaporCompressionCycle.") | Cars.kif 2009-2011 | |
(subclass AirConditioningCompressor GasCompressor) | Cars.kif 2007-2007 | Air conditioning compressor is a subclass of compressor |
(typicalPart AirConditioningCompressor AirConditioner) | Cars.kif 2012-2012 | A air conditioning compressor is typically a part of a air conditioner |
(typicallyContainsPart AirConditioningCompressor AirConditioner) | Cars.kif 2013-2013 | A air conditioner typically has a part air conditioning compressor |
appearance as argument number 2 |
(termFormat EnglishLanguage AirConditioningCompressor "air conditioning compressor") | Cars.kif 2008-2008 |
antecedent |
(=> (instance ?ACC AirConditioningCompressor) (hasPurpose ?ACC (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ACC))))) |
Cars.kif 2015-2021 |
|