safetyFunction
P36367
predicate
Indicates that one entity serves as a safety-related function or mechanism that protects, safeguards, or reduces risk for another entity or process.
Aliases (3)
- safetyProperty ×4
- publicSafetyService ×1
- safetyService ×1
Sample triples (8)
| Subject | Object |
|---|---|
| Class A airspace | separation of IFR aircraft → |
| Cottesloe Beach | lifeguard patrols ("safetyService") → |
| TPWS | automatic brake application → |
| Town of Lantana, Texas | Denton County Emergency Services District No. 1 ("publicSafetyService") → |
| Vale programming language | prevents data races at compile time ("safetyProperty") → |
| Vale programming language | prevents double free errors ("safetyProperty") → |
| Vale programming language | prevents iterator invalidation bugs ("safetyProperty") → |
| Vale programming language | prevents use-after-free errors ("safetyProperty") → |