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	SteeringBox ist eine teilkategorie von Gearbox
(typicalPart SteeringBox Automobile)	Cars.kif 3975-3975	typicalPart SteeringBox and Automobile
(typicallyContainsPart SteeringBox Automobile)	Cars.kif 3976-3976	typicallyContainsPart SteeringBox and Automobile

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

Wenn Physical ist ein fall von SteeringBox %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von SteeringWheel %n{nicht} und ** ** entity ist ein fall von SteeringColumn %n{nicht} und ** entity wird mit ** ** entity angeschlossen und ** ** entity wird mit ** Physical angeschlossen %n{nicht}