Braking - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Braking "braking")

Cars.kif 1248-1248

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)))

Cars.kif 1252-1267

consequent

(=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?B) (and (instance ?B Braking) (instrument ?B ?BC)))))	Cars.kif 1577-1583	If a physical is an instance of brake caliper, then the physical has the purpose there exists an entity such that the entity is an instance of braking and the physical is an instrument for the entity
(=> (instance ?BS BrakeSystem) (hasPurpose ?BS (exists (?B) (and (instance ?B Braking) (instrument ?B ?BS)))))	Cars.kif 1239-1245	If a physical is an instance of brake system, then the physical has the purpose there exists an entity such that the entity is an instance of braking and the physical is an instrument for the entity