TreeView Knowledge Base Browser

appearance as argument number 1

(subclass GasCompressor Machine)	Cars.kif 5060-5060	Compressor is a subclass of machine
(documentation GasCompressor EnglishLanguage "Any device designed for Compressing a Gas. This includes compressors designed for refrigeration applications as well as air tools.")	Cars.kif 5062-5064	Compressor is a subclass of machine

appearance as argument number 2

(subclass AirConditioningCompressor GasCompressor)	Cars.kif 1846-1846	Air conditioning compressor is a subclass of compressor
(termFormat EnglishLanguage GasCompressor "compressor")	Cars.kif 5061-5061	Air conditioning compressor is a subclass of compressor
(subclass Supercharger GasCompressor)	Cars.kif 5076-5076	Supercharger is a subclass of compressor

antecedent

(=>
    (instance ?GC GasCompressor)
    (hasPurpose ?GC
        (exists (?C ?G)
            (and
                (instance ?C Compressing)
                (attribute ?G Gas)
                (patient ?C ?G)
                (instrument ?C ?GC)))))

If X is an instance of compressor, then X has the purpose there exist Y, Z such that Y is an instance of compressing, gas is an attribute of Z, Z is a patient of Y, and X is an instrument for Y