VehicleSafetyDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass VehicleSafetyDevice SafetyDevice)	Cars.kif 3453-3453	Vehicle safety device is a subclass of safety device
(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 3455-3457	Vehicle safety device is a subclass of safety device

appearance as argument number 2

(termFormat EnglishLanguage VehicleSafetyDevice "vehicle safety device")	Cars.kif 3454-3454
(subclass AutoAirbag VehicleSafetyDevice)	Cars.kif 3702-3702	Airbag is a subclass of vehicle safety device
(subclass SeatBelt VehicleSafetyDevice)	Cars.kif 3736-3736	Seat belt is a subclass of vehicle safety device

antecedent

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

If X is an instance of vehicle safety device, then X has the purpose there exists Y such that Y is an instance of vehicle and X is a part of Y