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 5247-5250
(subclass Supercharger GasCompressor)	Cars.kif 5245-5245	Supercharger is a subclass of compressor
(typicalPart Supercharger IntermittentCombustionEngine)	Cars.kif 5246-5246	A supercharger is typically a part of a intermittent combustion engine

appearance as argument number 2

(termFormat EnglishLanguage Supercharger "supercharger")

Cars.kif 5251-5251

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 5253-5265

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: