TreeView Knowledge Base Browser - AirConditioningCompressor

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 1986-1988
(subclass AirConditioningCompressor GasCompressor)	Cars.kif 1984-1984	AirConditioningCompressor ist eine teilkategorie von GasCompressor
(typicalPart AirConditioningCompressor AirConditioner)	Cars.kif 1989-1989	typicalPart AirConditioningCompressor and AirConditioner
(typicallyContainsPart AirConditioningCompressor AirConditioner)	Cars.kif 1990-1990	typicallyContainsPart AirConditioningCompressor and AirConditioner

appearance as argument number 2

Cars.kif 1985-1985

antecedent

(=>
    (instance ?ACC AirConditioningCompressor)
    (hasPurpose ?ACC
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ACC)))))

Cars.kif 1992-1998

Wenn Physical ist ein fall von AirConditioningCompressor %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von Cooling %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}