SafetyDevice
|
|
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 3337-3338 | |
(subclass SafetyDevice Device) | Cars.kif 3335-3335 | SafetyDevice est une sous-classe de appareil |
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 3340-3358 |