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 |
appearance as argument number 2 |
(subclass ClimbingCarabiner SafetyDevice) | Mid-level-ontology.kif 30826-30826 | |
(subclass HearingProtection SafetyDevice) | Cars.kif 3452-3452 | |
(subclass Helmet SafetyDevice) | Cars.kif 4367-4367 | |
(subclass MotorcycleGlove SafetyDevice) | Cars.kif 4750-4750 | |
(subclass ProtectiveEyewear SafetyDevice) | Cars.kif 3486-3486 | |
(subclass Respirator SafetyDevice) | Cars.kif 3534-3534 | |
(subclass SafetyHarness SafetyDevice) | Cars.kif 3427-3427 | |
(subclass SafetyVest SafetyDevice) | Cars.kif 3563-3563 | |
(subclass VehicleSafetyDevice SafetyDevice) | Cars.kif 3383-3383 | |
(termFormat EnglishLanguage SafetyDevice "safety device") | Cars.kif 3359-3359 |
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 |