Backfire - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Backfire Combustion)	Cars.kif 1289-1289	Backfire is a subclass of burning
(documentation Backfire EnglishLanguage "An improper case of Engine operation where Combustion occurs in the Exhaust or intake.")	Cars.kif 1291-1292	Backfire is a subclass of burning

appearance as argument number 2

(termFormat EnglishLanguage Backfire "backfire")

antecedent

(=>
    (instance ?B Backfire)
    (exists (?E ?NC)
        (and
            (not
                (instance ?NC EngineCylinder))
            (instance ?E Engine)
            (part ?NC ?E)
            (eventLocated ?B ?NC))))

If X is an instance of backfire, then there exist Y, Z such that Z is not an instance of engine cylinder, Y is an instance of engine, Z is a part of Y, and X is located at Z