| 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 3327-3328 | |
| (subclass SafetyDevice Device) | Cars.kif 3325-3325 |
| appearance as argument number 2 |
|
|
| (subclass HearingProtection SafetyDevice) | Cars.kif 3420-3420 | |
| (subclass Helmet SafetyDevice) | Cars.kif 4333-4333 | |
| (subclass MotorcycleGlove SafetyDevice) | Cars.kif 4723-4723 | |
| (subclass ProtectiveEyewear SafetyDevice) | Cars.kif 3456-3456 | |
| (subclass Respirator SafetyDevice) | Cars.kif 3503-3503 | |
| (subclass SafetyHarness SafetyDevice) | Cars.kif 3395-3395 | |
| (subclass SafetyVest SafetyDevice) | Cars.kif 3533-3533 | |
| (subclass VehicleSafetyDevice SafetyDevice) | Cars.kif 3350-3350 | |
| (termFormat EnglishLanguage SafetyDevice "safety device") | Cars.kif 3326-3326 |
| 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 3330-3348 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners