|
|
   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 and Device |
| appearance as argument number 2 |
|
|
| (subclass ClimbingCarabiner SafetyDevice) | Mid-level-ontology.kif 30862-30862 | 子類 ClimbingCarabiner and SafetyDevice |
| (subclass HearingProtection SafetyDevice) | Cars.kif 3429-3429 | 子類 聽力保護 and SafetyDevice |
| (subclass Helmet SafetyDevice) | Cars.kif 4344-4344 | 子類 Helmet and SafetyDevice |
| (subclass MotorcycleGlove SafetyDevice) | Cars.kif 4727-4727 | 子類 MotorcycleGlove and SafetyDevice |
| (subclass ProtectiveEyewear SafetyDevice) | Cars.kif 3463-3463 | 子類 防護眼鏡 and SafetyDevice |
| (subclass Respirator SafetyDevice) | Cars.kif 3511-3511 | 子類 呼吸器 and SafetyDevice |
| (subclass SafetyHarness SafetyDevice) | Cars.kif 3404-3404 | 子類 安全套 and SafetyDevice |
| (subclass SafetyVest SafetyDevice) | Cars.kif 3540-3540 | 子類 SafetyVest and SafetyDevice |
| (subclass VehicleSafetyDevice SafetyDevice) | Cars.kif 3360-3360 | 子類 VehicleSafetyDevice and SafetyDevice |
| (termFormat EnglishLanguage SafetyDevice "safety device") | Cars.kif 3336-3336 |
| 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 |
|
|
|