SafetyDevice(safety device) |
appearance as argument number 1 |
(documentation SafetyDevice EnglishLanguage "Any Device that is designed to prevent (or lessen the likelihood of) the Injuring of a Human.") | Cars.kif 3352-3353 | |
(subclass SafetyDevice Device) | Cars.kif 3350-3350 | Safety device is a subclass of device |
appearance as argument number 2 |
antecedent |
(=> (instance ?X SafetyDevice) (hasPurpose ?X (exists (?P ?H ?I ?T) (and (instance ?H Human) (instance ?P Process) (patient ?P ?H) (instrument ?P ?X) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (=> (holdsDuring ?T (experiencer ?I ?H)) (not (holdsDuring ?T (patient ?P ?H))))))))))) |
Cars.kif 3355-3373 |
|