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 5150-5152
(subclass GasCompressor Machine) Cars.kif 5148-5148

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


(subclass AirConditioningCompressor GasCompressor) Cars.kif 1988-1988
(subclass Supercharger GasCompressor) Cars.kif 5164-5164
(termFormat EnglishLanguage GasCompressor "compressor") Cars.kif 5149-5149

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


(=>
    (instance ?GC GasCompressor)
    (hasPurpose ?GC
        (exists (?C ?G)
            (and
                (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