Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GasCompressor
GasCompressor(compressor)air_compressor, compressor

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 5150-5152
(subclass GasCompressor Machine) Cars.kif 5148-5148 Compressor is a subclass of machine

appearance as argument number 2

(subclass AirConditioningCompressor GasCompressor) Cars.kif 1988-1988 Air conditioning compressor is a subclass of compressor
(subclass Supercharger GasCompressor) Cars.kif 5164-5164 Supercharger is a subclass of compressor
(termFormat EnglishLanguage GasCompressor "compressor") Cars.kif 5149-5149


    (instance ?GC GasCompressor)
    (hasPurpose ?GC
        (exists (?C ?G)
                (instance ?C Compressing)
                (attribute ?G Gas)
                (patient ?C ?G)
                (instrument ?C ?GC)))))
Cars.kif 5154-5162

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners