SteeringBox - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SteeringBox EnglishLanguage "A Gearbox at the end of the SteeringColumn that transmits Motion to the SteeringArms.")	Cars.kif 3950-3951
(subclass SteeringBox Gearbox)	Cars.kif 3948-3948	Steering box is a subclass of gearbox
(typicalPart SteeringBox Automobile)	Cars.kif 3952-3952	A steering box is typically a part of a automobile
(typicallyContainsPart SteeringBox Automobile)	Cars.kif 3953-3953	A automobile typically has a part steering box

appearance as argument number 2

(termFormat EnglishLanguage SteeringBox "steering box")

Cars.kif 3949-3949

antecedent

(=>
    (instance ?SB SteeringBox)
    (hasPurpose ?SB
        (exists (?SW ?SC)
            (and
                (instance ?SW SteeringWheel)
                (instance ?SC SteeringColumn)
                (connectedEngineeringComponents ?SW ?SC)
                (connectedEngineeringComponents ?SC ?SB)))))

Cars.kif 3955-3963