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 4026-4027
(subclass SteeringBox Gearbox)	Cars.kif 4024-4024	Steering box is a subclass of gearbox
(typicalPart SteeringBox Automobile)	Cars.kif 4028-4028	A steering box is typically a part of a automobile
(typicallyContainsPart SteeringBox Automobile)	Cars.kif 4029-4029	A automobile typically has a part steering box

appearance as argument number 2

(termFormat EnglishLanguage SteeringBox "steering box")

Cars.kif 4025-4025

antecedent

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

Cars.kif 4031-4039