TreeView Knowledge Base Browser

appearance as argument number 1

(documentation GasCompressor EnglishLanguage "Any device designed for Compressing a Gas. This includes compressors designed for refrigeration applications as well as air tools.")	Cars.kif 5178-5180
(subclass GasCompressor Machine)	Cars.kif 5176-5176	GasCompressor ist eine teilkategorie von Machine

appearance as argument number 2

(subclass AirConditioningCompressor GasCompressor)	Cars.kif 2007-2007	AirConditioningCompressor ist eine teilkategorie von GasCompressor
(subclass Supercharger GasCompressor)	Cars.kif 5192-5192	Supercharger ist eine teilkategorie von GasCompressor
(termFormat EnglishLanguage GasCompressor "compressor")	Cars.kif 5177-5177

antecedent

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

Cars.kif 5182-5190

Wenn Physical ist ein fall von GasCompressor %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von Compressing %n{nicht} und Gas ist ein attribut von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}