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 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: safetyFunction
Generated description
Indicates that one entity serves as a safety-related function or mechanism that protects, safeguards, or reduces risk for another entity or process.
Sample triples (132)
| Subject | Object |
|---|---|
| Vent | alpine rescue service presence via predicate surface "safetyService" ⓘ |
| L Area Disassembly Basin (L‑Basin) | radiation shielding ⓘ |
| L Area Disassembly Basin (L‑Basin) | decay heat removal ⓘ |
| L Area Disassembly Basin (L‑Basin) | containment of radioactive materials ⓘ |
| Midway Beach | seasonal lifeguard patrols via predicate surface "safetyService" ⓘ |
| FLP impossibility result | no two correct processes decide differently via predicate surface "safetyProperty" ⓘ |
| Port of Kotor | maritime pilotage via predicate surface "safetyService" ⓘ |
| Port of Kotor | port security via predicate surface "safetyService" ⓘ |
| Belisha beacon | warns drivers of pedestrian crossing ⓘ |
| Belisha beacon | highlights crossing point at night ⓘ |
| Oak Point, Texas | Oak Point Police Department via predicate surface "publicSafetyService" NERFINISHED ⓘ |
| Oak Point, Texas | Oak Point Fire Department via predicate surface "publicSafetyService" NERFINISHED ⓘ |
|
"Klaatu barada nikto"
surface form:
Klaatu barada nikto
|
prevents robot from destroying Earth via predicate surface "safetyFunctionContext" ⓘ |
| X-38 Crew Return Vehicle prototype | emergency evacuation of ISS crew ⓘ |
| X-38 Crew Return Vehicle prototype | independent crew return without Shuttle ⓘ |
| 9-1-1 Emergency System of Puerto Rico | call triage ⓘ |
| 9-1-1 Emergency System of Puerto Rico | incident prioritization ⓘ |
| 9-1-1 Emergency System of Puerto Rico | resource dispatch ⓘ |
| 9-1-1 Emergency System of Puerto Rico | inter-agency coordination ⓘ |
| Tobu ATS | automatic train stop ⓘ |
| Tokyo Metro CS-ATC | enforces safe braking distance between trains ⓘ |
| Tokyo Metro CS-ATC | prevents trains from exceeding permitted speed profiles ⓘ |
| Tokyu ATS | automatic train stop at red signal ⓘ |
| Tokyu ATS | speed supervision near restrictive signals ⓘ |
| Tokyu ATS | emergency brake application on overspeed ⓘ |
| Airlock Module | pressure isolation between station interior and space vacuum ⓘ |
| Airlock Module | controlled depressurization for EVA ⓘ |
| Signum | prevention of signal passed at danger ⓘ |
| Signum | speed limit enforcement ⓘ |
| ATS-SN | automatic emergency brake application on signal overrun ⓘ |
| ATS-SN | speed check approaching restrictive signals ⓘ |
| Chollima Line | can serve as bomb shelter ⓘ |
| TRUPACT-II shipping casks | containment of radioactive material under normal transport conditions ⓘ |
| TRUPACT-II shipping casks | containment of radioactive material under hypothetical accident conditions ⓘ |
| TRUPACT-II shipping casks | radiation shielding ⓘ |
| TRUPACT-II shipping casks | criticality safety for authorized contents ⓘ |
| ASFA | emergency brake application on driver non-response ⓘ |
| ASFA | continuous supervision of speed profiles ⓘ |
| Blacksmiths Beach | lifesaving patrols in season via predicate surface "safetyService" ⓘ |
| Bargara Beach | lifesaving patrols (seasonal) via predicate surface "safetyService" ⓘ |
| Biarritz beaches | lifeguard supervision in season via predicate surface "safetyService" ⓘ |
| Table Rock Dam | flood risk reduction ⓘ |
| Pui O Beach | lifeguard patrols in swimming season via predicate surface "safetyService" ⓘ |
| Cyclone programming language | prevents buffer overflows in well-typed programs via predicate surface "safetyProperty" ⓘ |
| Cyclone programming language | prevents dangling pointer dereferences in well-typed programs via predicate surface "safetyProperty" ⓘ |
| Cyclone programming language | prevents many format-string vulnerabilities via predicate surface "safetyProperty" ⓘ |
| Cyclone programming language | prevents many type-casting errors via predicate surface "safetyProperty" ⓘ |
|
Myoryuji (Ninja Temple)
surface form:
Myoryuji
|
designed to delay or confuse intruders ⓘ |
| Chinese Train Control System | prevent train collisions ⓘ |
| Chinese Train Control System | enforce speed limits ⓘ |