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 3352-3353 | |
(subclass SafetyDevice Device) | Cars.kif 3350-3350 |
appearance as argument number 2 |
![]() |
(subclass ClimbingCarabiner SafetyDevice) | Mid-level-ontology.kif 30236-30236 | |
(subclass HearingProtection SafetyDevice) | Cars.kif 3445-3445 | |
(subclass Helmet SafetyDevice) | Cars.kif 4362-4362 | |
(subclass MotorcycleGlove SafetyDevice) | Cars.kif 4745-4745 | |
(subclass ProtectiveEyewear SafetyDevice) | Cars.kif 3481-3481 | |
(subclass Respirator SafetyDevice) | Cars.kif 3528-3528 | |
(subclass SafetyHarness SafetyDevice) | Cars.kif 3420-3420 | |
(subclass SafetyVest SafetyDevice) | Cars.kif 3559-3559 | |
(subclass VehicleSafetyDevice SafetyDevice) | Cars.kif 3375-3375 | |
(termFormat EnglishLanguage SafetyDevice "safety device") | Cars.kif 3351-3351 |
antecedent |
![]() |
(=> (instance ?X SafetyDevice) (hasPurpose ?X (exists (?P ?H) (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 |
![]() |
![]() |