BrakeMasterCylinder - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BrakeMasterCylinder EnglishLanguage "This is the source of hydraulic pressure that actuates the BrakeCaliper, and is in turn actuated by the driver stepping on the BrakePedal.")	Cars.kif 1625-1627
(subclass BrakeMasterCylinder HydraulicCylinder)	Cars.kif 1623-1623	BrakeMasterCylinder ist eine teilkategorie von HydraulicCylinder
(typicalPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1637-1637	typicalPart BrakeMasterCylinder and BrakeSystem
(typicallyContainsPart BrakeMasterCylinder BrakeSystem)	Cars.kif 1638-1638	typicallyContainsPart BrakeMasterCylinder and BrakeSystem

appearance as argument number 2

Cars.kif 1624-1624

antecedent

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

Cars.kif 1629-1635

Wenn Physical ist ein fall von BrakeMasterCylinder %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von BrakeSystem %n{nicht} und ** Physical ist ein teil von ** entity %n{nicht} %n{nicht}