Braking - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Braking Decreasing)	Cars.kif 1185-1185	Braking is a subclass of decreasing
(documentation Braking EnglishLanguage "An application of a BrakeSystem to slow or stop a vehicle (or just reduce its downhill acceleration).")	Cars.kif 1187-1188	Braking is a subclass of decreasing

appearance as argument number 2

(termFormat EnglishLanguage Braking "braking")

antecedent

(=>
    (and
        (instance ?B Braking)
        (patient ?B ?O))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A1 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A2 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (greaterThan ?A1 ?A2)))

If X is an instance of braking and Y is a patient of X, then equal Z miles per hour(s) and the accelleration W of Y in V in the direction U holds during immediately before the time of existence of X, equal T miles per hour(s) and the accelleration W of Y in V in the direction U holds during immediately after the time of existence of X, and Z is greater than T

consequent

(=> (instance ?BS BrakeSystem) (hasPurpose ?BS (exists (?B) (and (instance ?B Braking) (instrument ?B ?BS)))))	Cars.kif 1177-1183	If X is an instance of brake system, then X has the purpose there exists Y such that Y is an instance of braking and X is an instrument for Y
(=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?B) (and (instance ?B Braking) (instrument ?B ?BC)))))	Cars.kif 1456-1462	If X is an instance of brake caliper, then X has the purpose there exists Y such that Y is an instance of braking and X is an instrument for Y