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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GasCompressor

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 5170-5172
(subclass GasCompressor Machine) Cars.kif 5168-5168 Compressor is a subclass of machine

appearance as argument number 2
-------------------------


(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
(termFormat EnglishLanguage GasCompressor "compressor") Cars.kif 5169-5169

antecedent
-------------------------


(=>
    (instance ?GC GasCompressor)
    (hasPurpose ?GC
        (exists (?C ?G)
            (and
                (instance ?C Compressing)
                (attribute ?G Gas)
                (patient ?C ?G)
                (instrument ?C ?GC)))))
Cars.kif 5174-5182


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners