Supercharger - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Supercharger EnglishLanguage "A Device that injects compressed Air into the intake of a Vehicle Engine. By effectively increasing the amount of Oxygen in the CombustionChamber, it increases the power and efficiency and the engine.")	Cars.kif 5171-5174
(subclass Supercharger GasCompressor)	Cars.kif 5169-5169	Supercharger is a subclass of compressor
(typicalPart Supercharger IntermittentCombustionEngine)	Cars.kif 5170-5170	A supercharger is typically a part of a intermittent combustion engine

appearance as argument number 2

(termFormat EnglishLanguage Supercharger "supercharger")

Cars.kif 5175-5175

antecedent

(=>
    (instance ?S Supercharger)
    (hasPurpose ?S
        (exists (?T ?IV ?A)
            (and
                (instance ?T GasMotion)
                (origin ?T ?S)
                (instance ?IV IntakeValve)
                (destination ?T ?IV)
                (instance ?A Air)
                (objectTransferred ?T ?A)
                (holdsDuring
                    (WhenFn ?T)
                    (attribute ?A Pressurized))))))

Cars.kif 5177-5189

If a physical is an instance of supercharger,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas motion and the entity originates at the physical and the other entity is an instance of intake valve and the entity ends up at the other entity and the third entity is an instance of air and the object transferred in the entity is the third entity and pressurized is an attribute of the third entity holds during the time of existence of the entity

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

KB Term:			Term intersection

English Word: