(subclass GasCompressor Machine) | Cars.kif 5168-5168 | Compressor is a subclass of machine |
(subclass AirConditioningCompressor GasCompressor) | Cars.kif 2001-2001 | Air conditioning compressor is a subclass of compressor |
(subclass Supercharger GasCompressor) | Cars.kif 5184-5184 | Supercharger is a subclass of compressor |