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 3360-3361 | |
(subclass SafetyDevice Device) | Cars.kif 3358-3358 | SafetyDevice è una sottoclasse di Dispositivo |
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 3363-3381 |
|