BrakeSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BrakeSystem PhysicalSystem)	Cars.kif 1168-1168	Brake system is a subclass of physical system
(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 1170-1172	Brake system is a subclass of physical system
(typicallyContainsPart BrakeSystem Automobile)	Cars.kif 1174-1174	A automobile typically has a part brake system
(typicalPart BrakeSystem Automobile)	Cars.kif 1175-1175	A brake system is typically a part of a automobile

appearance as argument number 2

(termFormat EnglishLanguage BrakeSystem "brake system")	Cars.kif 1169-1169
(typicalPart BrakeCaliper BrakeSystem)	Cars.kif 1443-1443	A brake caliper is typically a part of a brake system
(typicallyContainsPart BrakeCaliper BrakeSystem)	Cars.kif 1444-1444	A brake system typically has a part brake caliper
(typicalPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1517-1517	A master cylinder is typically a part of a brake system
(typicallyContainsPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1518-1518	A brake system typically has a part master cylinder

antecedent

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

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

consequent

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

If X is an instance of master cylinder, then X has the purpose there exists Y such that Y is an instance of brake system and X is a part of Y