verificationSystem
P50856
predicate
Indicates that an entity functions as or is associated with a system responsible for checking, validating, or confirming the correctness or authenticity of something.
All labels observed (7)
| Label | Occurrences |
|---|---|
| hasVerificationMechanism | 4 |
| verificationRole | 3 |
| verificationSystem canonical | 3 |
| verifiedIn | 3 |
| digitalIdentitySystem | 1 |
| validationSystem | 1 |
| verificationAtPollingStation | 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: verificationSystem
Generated description
Indicates that an entity functions as or is associated with a system responsible for checking, validating, or confirming the correctness or authenticity of something.
Sample triples (16)
| Subject | Object |
|---|---|
| Preparatory Commission for the Comprehensive Nuclear-Test-Ban Treaty Organization | International Monitoring System ⓘ |
| Preparatory Commission for the Comprehensive Nuclear-Test-Ban Treaty Organization | International Data Centre ⓘ |
| Preparatory Commission for the Comprehensive Nuclear-Test-Ban Treaty Organization | On-site inspection regime ⓘ |
| Gödel's ontological proof |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
via predicate surface "verifiedIn"
ⓘ
surface form:
Isabelle/HOL
|
| Gödel's ontological proof | Coq via predicate surface "verifiedIn" ⓘ |
| Gödel's ontological proof | other higher-order proof assistants via predicate surface "verifiedIn" ⓘ |
| Ottawa Treaty | transparency reporting via predicate surface "hasVerificationMechanism" ⓘ |
| Ottawa Treaty | cooperative compliance measures via predicate surface "hasVerificationMechanism" ⓘ |
| New Zealand e-government services | RealMe via predicate surface "digitalIdentitySystem" ⓘ |
| Operation Touchstone | stockpile reliability testing via predicate surface "verificationRole" ⓘ |
| Operation Touchstone | weapons effects data collection via predicate surface "verificationRole" ⓘ |
| AT HOP card | electronic card readers on vehicles and stations via predicate surface "validationSystem" ⓘ |
| South Pacific Nuclear Free Zone member states | safeguards agreements with IAEA via predicate surface "hasVerificationMechanism" ⓘ |
| EPIC | used along with electoral roll via predicate surface "verificationAtPollingStation" ⓘ |
| ENMOD Convention | consultation and expert fact-finding procedures via predicate surface "hasVerificationMechanism" ⓘ |
| United Nations Security Council Resolution 714 | verification of compliance with political and military aspects of the peace agreements in El Salvador via predicate surface "verificationRole" ⓘ |