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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GasCompressor
GasCompressor

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 5155-5157
(subclass GasCompressor Machine) Cars.kif 5153-5153

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


(subclass AirConditioningCompressor GasCompressor) Cars.kif 1984-1984
(subclass Supercharger GasCompressor) Cars.kif 5169-5169
(termFormat EnglishLanguage GasCompressor "compressor") Cars.kif 5154-5154

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


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


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 3.0 is open source software produced by Articulate Software and its partners