TreeView Knowledge Base Browser - AutomobileExhaustSystem

appearance as argument number 1

(subclass AutomobileExhaustSystem PhysicalSystem)	Cars.kif 2443-2443	Exhaust system is a subclass of physical system
(documentation AutomobileExhaustSystem EnglishLanguage "A part of an Automobile that handles the venting of Exhaust from the Engine. It typically includes an exhaust manifold, AutomobileMuffler and Tailpipe. Modern engines may also include a CatalyticConverter and exhaust recirculation hoses and controls.")	Cars.kif 2445-2449	Exhaust system is a subclass of physical system

appearance as argument number 2

(typicalPart CatalyticConverter AutomobileExhaustSystem)	Cars.kif 1601-1601	A catalytic converter is typically a part of a exhaust system
(typicallyContainsPart CatalyticConverter AutomobileExhaustSystem)	Cars.kif 1602-1602	A exhaust system typically has a part catalytic converter
(termFormat EnglishLanguage AutomobileExhaustSystem "exhaust system")	Cars.kif 2444-2444	A exhaust system typically has a part catalytic converter
(typicalPart ExhaustManifold AutomobileExhaustSystem)	Cars.kif 2464-2464	A exhaust manifold is typically a part of a exhaust system
(typicallyContainsPart ExhaustManifold AutomobileExhaustSystem)	Cars.kif 2465-2465	A exhaust system typically has a part exhaust manifold
(typicalPart Tailpipe AutomobileExhaustSystem)	Cars.kif 3901-3901	A tailpipe is typically a part of a exhaust system
(typicallyContainsPart Tailpipe AutomobileExhaustSystem)	Cars.kif 3902-3902	A exhaust system typically has a part tailpipe

antecedent

(=>
    (and
        (instance ?T Tailpipe)
        (instance ?TR Transfer)
        (instance ?E Exhaust)
        (instance ?A Automobile)
        (instance ?AES AutomobileExhaustSystem)
        (part ?T ?A)
        (path ?TR ?T)
        (patient ?TR ?E))
    (hasPurpose ?T
        (not
            (exists (?O)
                (and
                    (part ?O ?A)
                    (beforeOnPath ?T ?O ?AES ?TR))))))

If All of the following hold: (1) X is an instance of tailpipe (2) Y is an instance of transfer (3) Z is an instance of exhaust (4) W is an instance of automobile (5) V is an instance of exhaust system (6) X is a part of W (7) X is path along which Y occurs (8) Z is a patient of Y, then X has the purpose there doesn't exist U such that U is a part of W and X before U on path V during Y