VehicleSafetyDevice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VehicleSafetyDevice EnglishLanguage "Any SafetyDevice that is designed to prevent (or lessen the likelihood of) the Injuring of a Human while in Vehicle.")	Cars.kif 3385-3387
(subclass VehicleSafetyDevice SafetyDevice)	Cars.kif 3383-3383	VehicleSafetyDevice ist eine teilkategorie von SafetyDevice

appearance as argument number 2

(subclass AutoAirbag VehicleSafetyDevice)	Cars.kif 3632-3632	AutoAirbag ist eine teilkategorie von VehicleSafetyDevice
(subclass SeatBelt VehicleSafetyDevice)	Cars.kif 3666-3666	SeatBelt ist eine teilkategorie von VehicleSafetyDevice
(termFormat EnglishLanguage VehicleSafetyDevice "vehicle safety device")	Cars.kif 3384-3384

antecedent

(=>
    (instance ?VSD VehicleSafetyDevice)
    (hasPurpose ?VSD
        (exists (?V)
            (and
                (instance ?V Vehicle)
                (part ?VSD ?V)))))

Cars.kif 3389-3395

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