BrakeSystem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BrakeSystem EnglishLanguage "A system, typically consisting of VehicleBrakes, and often a MasterCylinder, BrakeCalipers and BrakePads that serves to slow or stop a vehicle (or just reduce its downhill acceleration).")	Cars.kif 1232-1234
(subclass BrakeSystem PhysicalSystem)	Cars.kif 1230-1230	Brake system is a subclass of physical system
(typicalPart BrakeSystem Automobile)	Cars.kif 1237-1237	A brake system is typically a part of a automobile
(typicallyContainsPart BrakeSystem Automobile)	Cars.kif 1236-1236	A automobile typically has a part brake system

appearance as argument number 2

(termFormat EnglishLanguage BrakeSystem "brake system")	Cars.kif 1231-1231
(typicalPart BrakeCaliper BrakeSystem)	Cars.kif 1564-1564	A brake caliper is typically a part of a brake system
(typicalPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1637-1637	A master cylinder is typically a part of a brake system
(typicallyContainsPart BrakeCaliper BrakeSystem)	Cars.kif 1565-1565	A brake system typically has a part brake caliper
(typicallyContainsPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1638-1638	A brake system typically has a part master cylinder

antecedent

(=>
    (instance ?BS BrakeSystem)
    (hasPurpose ?BS
        (exists (?B)
            (and
                (instance ?B Braking)
                (instrument ?B ?BS)))))

Cars.kif 1239-1245

consequent

(=>
    (instance ?BMC BrakeMasterCylinder)
    (hasPurpose ?BMC
        (exists (?BS)
            (and
                (instance ?BS BrakeSystem)
                (part ?BMC ?BS)))))

Cars.kif 1629-1635