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.
All labels observed (7)
| Label | Occurrences |
|---|---|
| safetyFunction canonical | 85 |
| safetyService | 22 |
| safetyProperty | 12 |
| publicSafetyService | 7 |
| publicSafetyFunction | 3 |
| safeHouseFunction | 2 |
| safetyFunctionContext | 1 |
Sample triples (132)
| Subject | Object |
|---|---|
| Class A airspace | separation of IFR aircraft ⓘ |
| Town of Lantana, Texas | Denton County Emergency Services District No. 1 via predicate surface "publicSafetyService" ⓘ |
| TPWS | automatic brake application ⓘ |
| Vale programming language | prevents data races at compile time via predicate surface "safetyProperty" ⓘ |
| Vale programming language | prevents use-after-free errors via predicate surface "safetyProperty" ⓘ |
| Vale programming language | prevents double free errors via predicate surface "safetyProperty" ⓘ |
| Vale programming language | prevents iterator invalidation bugs via predicate surface "safetyProperty" ⓘ |
| Cottesloe Beach | lifeguard patrols via predicate surface "safetyService" ⓘ |
| C Reactor | production reactor, not power reactor ⓘ |
| Paxos consensus algorithm | never returns conflicting decisions via predicate surface "safetyProperty" ⓘ |
| Tesla Backup Gateway | disconnects from grid during faults ⓘ |
| Tesla Backup Gateway | complies with grid interconnection standards (region-dependent) ⓘ |
| ATB-EG | prevents overspeeding ⓘ |
| ATB-EG | reduces risk of signal passed at danger ⓘ |
| Oceanside City Beach | lifeguards on duty (seasonal and peak times) via predicate surface "safetyService" ⓘ |
| Annex IV – Distress signals | to facilitate rapid recognition of distress ⓘ |
| Annex IV – Distress signals | to reduce ambiguity in distress communications ⓘ |
| KARLUX | reduces ambiguity in radio communications ⓘ |
| European Train Control System | prevents train collisions ⓘ |
| European Train Control System | enforces speed limits ⓘ |
| European Train Control System | enforces signal obedience ⓘ |
| TVM cab signalling | automatic train protection ⓘ |
| TVM cab signalling | overspeed protection ⓘ |
| TVM cab signalling | signal overrun prevention ⓘ |
| MagSafe power connector | reduces tripping hazard damage to laptops via predicate surface "safetyProperty" ⓘ |
| Class D airspace | prevents conflicts between arriving and departing aircraft near the airport ⓘ |
| Currimundi Beach | surf life saving patrols via predicate surface "safetyService" ⓘ |
| Turners Beach | lifesaving patrols in season via predicate surface "safetyService" ⓘ |
| Newby Bridge Weir | reduces flood risk downstream ⓘ |
| Marseilles Lock and Dam | helps reduce flood risk along the Illinois River ⓘ |
| Main Beach | lifeguards in season via predicate surface "safetyService" ⓘ |
| TBL1+ | prevention of signal passed at danger ⓘ |
| TBL1+ | prevention of overspeed ⓘ |
| PZB | train stop enforcement ⓘ |
| PZB | speed supervision ⓘ |
| PZB | signal observance supervision ⓘ |
| Shawnee Mission Park Beach | lifeguards (in season) via predicate surface "safetyService" ⓘ |
| TVM-300 | overspeed protection ⓘ |
| TVM-300 | enforcement of signal aspects ⓘ |
| TVM-300 | prevention of rear-end collisions ⓘ |
| Train Protection & Warning System | mitigate human error by train drivers ⓘ |
| Train Protection & Warning System | reduce risk of SPAD incidents ⓘ |
| Train Protection & Warning System | reduce risk of high-speed collisions ⓘ |
| ECDIS | check route against charted dangers ⓘ |
| ECDIS | warn when leaving safe water ⓘ |
| ECDIS | monitor proximity to hazards ⓘ |
| Automatic Warning System | automatically applies train brakes if driver fails to acknowledge warning ⓘ |
| Automatic Warning System | requires driver acknowledgement of cautionary indications ⓘ |
| Class B (Washington area) | protect arriving and departing traffic to major airports ⓘ |
| Kiama Surf Beach | lifesaving patrols in peak season via predicate surface "safetyService" ⓘ |