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 3973-3974
(subclass SteeringBox Gearbox)	Cars.kif 3971-3971	Steering box is a subclass of gearbox
(typicalPart SteeringBox Automobile)	Cars.kif 3975-3975	A steering box is typically a part of a automobile
(typicallyContainsPart SteeringBox Automobile)	Cars.kif 3976-3976	A automobile typically has a part steering box

appearance as argument number 2

(termFormat EnglishLanguage SteeringBox "steering box")

Cars.kif 3972-3972

antecedent

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

Cars.kif 3978-3986