ensures
P2194
predicate
Indicates that one entity guarantees or makes certain that a particular condition, outcome, or state holds for another entity or situation.
Aliases (15)
- guaranteed ×26
- aimsToEnsure ×12
- guaranteedBy ×12
- synchronizes ×10
- ensuresPrinciple ×6
- ensured ×5
- guarantee ×4
- guaranteesExistenceOf ×2
- helpsEnsure ×2
- laborProvisionGuaranteed ×2
- seeksToGuarantee ×2
- assure ×1
- ensure ×1
- guaranteedTo ×1
- hasStrongGuarantee ×1
Sample triples (showing first 500 of 613)
| Subject | Object |
|---|---|
| APIC | certain tax exemptions for the International Criminal Court and its officials → |
| APIC | immunity from legal process for certain ICC officials for acts performed in their official capacity → |
| APIC | inviolability of ICC archives under certain conditions → |
| APIC | inviolability of ICC premises under certain conditions → |
| Acte additionnel aux constitutions de l'Empire | certain civil rights and public freedoms via predicate surface "guaranteed" → |
| Acts of Union 1707 |
Church of Scotland
via predicate surface "guaranteed"
→
surface form: "Presbyterian Church of Scotland"
|
| Acts of Union 1707 | Scottish education system via predicate surface "guaranteed" → |
| Acts of Union 1707 | Scottish legal system via predicate surface "guaranteed" → |
| Agreement on Import Licensing Procedures | fair administration of import licensing via predicate surface "aimsToEnsure" → |
| Agreement on Import Licensing Procedures | predictability of import licensing systems via predicate surface "aimsToEnsure" → |
| Agreement on Import Licensing Procedures | transparency in import licensing via predicate surface "aimsToEnsure" → |
| Air Force Nuclear Weapons Center | reliability of Air Force nuclear weapons systems → |
| Air Force Nuclear Weapons Center | safety of Air Force nuclear weapons systems → |
| Air Force Nuclear Weapons Center | security of Air Force nuclear weapons systems → |
|
Air Route Traffic Control Centers
surface form: "Air Route Traffic Control Center"
|
safe and orderly flow of air traffic → |
|
Air Route Traffic Control Centers
surface form: "Air Route Traffic Control Center"
|
separation minima → |
| Alcohol and Tobacco Tax and Trade Bureau | compliance with federal alcohol regulations → |
| Alcohol and Tobacco Tax and Trade Bureau | compliance with federal tobacco regulations → |
| Alcohol and Tobacco Tax and Trade Bureau | proper payment of federal excise taxes → |
|
American Eagle palladium bullion coins
surface form: "American Eagle palladium bullion coin"
|
United States government via predicate surface "guaranteedBy" NERFINISHED → |
| American Eagle silver bullion coins | United States government for content via predicate surface "guaranteedBy" → |
| American Eagle silver bullion coins | United States government for purity via predicate surface "guaranteedBy" → |
| American Eagle silver bullion coins | United States government for weight via predicate surface "guaranteedBy" → |
| American Indian Religious Freedom Act Amendments of 1994 | access to peyote for bona fide traditional ceremonial purposes → |
| Ampère–Maxwell law | charge conservation consistency → |
| Ampère–Maxwell law | continuity equation compatibility → |
| Appellate Section | uniform interpretation of federal criminal statutes within the Department of Justice → |
| Army Court of Criminal Appeals | compliance with the Manual for Courts-Martial → |
| Army Court of Criminal Appeals | compliance with the Uniform Code of Military Justice → |
| Army Court of Criminal Appeals | protection of due process rights of accused soldiers → |
| Army Recruiting and Initial Training Command | standards of initial military training → |
| Army Secretariat | alignment of Army programs with national defense strategy → |
| Army Secretariat | compliance of the United States Army with civilian leadership directives → |
| Article 31 of the Constitution of Norway | constitutional framework for the monarch’s participation in government → |
| Article 43 of the Constitution of Japan | principle of popular sovereignty in Diet composition → |
| Article 49 of the Constitution of Japan | financial independence of members of the National Diet → |
| Article 57 of the Constitution of Japan | principle of open legislative sessions → |
| Article 57 of the Constitution of Japan | public access to Diet proceedings records → |
| Article 6 of the Constitution of Japan | parliamentary responsibility of the executive via predicate surface "ensuresPrinciple" → |
| Article 6 of the Constitution of Japan | separation of powers via predicate surface "ensuresPrinciple" → |
| Article 60 of the Constitution of Japan | smooth passage of the national budget → |
| Article 65 of the Constitution of Japan | that the Emperor does not hold executive power → |
| Article 66 of the Constitution of Japan | parliamentary character of the Cabinet → |
| Article 67 of the Constitution of Japan | Cabinet’s basis in confidence of the National Diet → |
| Article 67 of the Constitution of Japan | democratic legitimacy of the Prime Minister → |
| Article 68 of the Constitution of Japan | Prime Minister’s control over Cabinet composition → |
| Article 70 of the Constitution of Japan | political responsibility of the Cabinet to the Diet → |
| Article 89 of the Constitution of Italy | political accountability of ministers for presidential acts → |
|
Article I
surface form: "Article I of the Texas Constitution"
|
fundamental civil liberties for persons in Texas → |
| Article III, Section 1 of the United States Constitution | tenure during good behaviour for Article III judges → |
| Article III, Section 3 of the United States Constitution | narrow constitutional definition of treason in the United States → |
| Article IV, Section 1 of the United States Constitution | that certain legal statuses created by one state are recognized in other states → |
| Article IV, Section 1 of the United States Constitution | that judgments validly rendered in one state are generally recognized in other states → |
| Article IV, Section 1 of the United States Constitution | that official state records are recognized in other states → |
| Article V – The Judicial Branch | access to courts in Puerto Rico → |
| Article V – The Judicial Branch | due process protections in Puerto Rico courts → |
| Article V – The Judicial Branch | separation of powers in Puerto Rico → |
|
Article VI
surface form: "Article VI of the United States Constitution"
|
binding force of federal treaties on the states → |
|
Article VI
surface form: "Article VI of the United States Constitution"
|
constitutional supremacy over state constitutions → |
|
Article VI
surface form: "Article VI of the United States Constitution"
|
uniformity of constitutional obligations for officeholders → |
| Article VI, Clause 2 of the U.S. Constitution | priority of federal treaties over conflicting state law → |
| Article VI, Clause 2 of the U.S. Constitution | uniform application of federal law across all states → |
| Attitude and Articulation Control Subsystem computer | high-gain antenna Earth-pointing → |
| Attitude and Articulation Control Subsystem computer | proper pointing of science instruments → |
| Attitude and Articulation Control Subsystem computer | stable communication link with Earth → |
| Audio Video Bridging | bandwidth reservation → |
| Audio Video Bridging | bounded latency → |
| Audio Video Bridging | low jitter → |
| Auditor General of the Army | independence of the Army internal audit function → |
| Auditor General of the Army | objectivity of Army audit reports → |
| Bank of Botswana | integrity of the national payment system in Botswana → |
| Bank of Botswana | soundness of the banking system in Botswana → |
| Banker's algorithm | each process can complete eventually in a safe state → |
| Banker's algorithm | system remains in a safe state → |
| Bianchi identities | compatibility of curvature with connection → |
| Bianchi identities | consistency of Einstein field equations with local conservation of energy-momentum → |
| Bishop in Charge of the Convocation of Episcopal Churches in Europe | adherence to Episcopal Church doctrine in the Convocation of Episcopal Churches in Europe → |
| Bishop in Charge of the Convocation of Episcopal Churches in Europe | conformity of worship with Episcopal Church standards in the Convocation of Episcopal Churches in Europe → |
|
Board of Directors
surface form: "Board of Directors of the European Stability Mechanism"
|
prudent and sound financial management of the ESM → |
|
Board of Directors
surface form: "Board of Directors of the European Stability Mechanism"
|
that ESM operations are consistent with EU economic policy coordination → |
|
Board of Directors
surface form: "Board of Directors of the Nobel Foundation"
|
that the Nobel Foundation has adequate internal control → |
|
Board of Directors
surface form: "Board of Directors of the Nobel Foundation"
|
that the Nobel Foundation has adequate reporting procedures → |
|
Board of Directors
surface form: "Board of Directors of the Nobel Foundation"
|
that the Nobel Foundation’s capital is preserved and developed → |
|
Board of Directors
surface form: "Board of Directors of the Nobel Foundation"
|
that the Nobel Prizes are managed in accordance with the Foundation’s statutes → |
|
Board of Governors
surface form: "Board of Governors (American Bar Association)"
|
compliance with ABA policies and bylaws → |
|
Board of Governors
surface form: "Board of Governors (American Bar Association)"
|
financial stability of the American Bar Association → |
|
Board of Governors
surface form: "Board of Governors (Commonwealth Foundation)"
|
accountability of the Commonwealth Foundation → |
|
Board of Governors
surface form: "Board of Governors (Commonwealth Foundation)"
|
alignment of Commonwealth Foundation activities with member state priorities → |
|
Board of Governors
surface form: "Board of Governors (Commonwealth Foundation)"
|
good governance practices in the Commonwealth Foundation → |
|
Board of Governors
surface form: "Board of Governors (McGill University)"
|
alignment of McGill University's activities with its mission and values → |
|
Board of Governors
surface form: "Board of Governors (McGill University)"
|
compliance with applicable laws and regulations at McGill University → |
|
board of regents
surface form: "Board of Regents (American College of Surgeons)"
|
adherence to the mission and values of the American College of Surgeons → |
|
board of regents
surface form: "Board of Regents (American College of Surgeons)"
|
alignment of activities with the mission of the American College of Surgeons → |
|
board of regents
surface form: "Board of Regents (American College of Surgeons)"
|
organizational accountability of the American College of Surgeons → |
| Board of Selectmen | compliance with local bylaws → |
| Board of Selectmen | implementation of town meeting decisions → |
|
Board of Trustees
surface form: "Board of Trustees (Hope College)"
|
alignment with mission of Hope College → |
|
Board of Trustees
surface form: "Board of Trustees (Hope College)"
|
long-term financial sustainability of Hope College → |
|
Board of Trustees
surface form: "Board of Trustees of Amherst College"
|
alignment of institutional policies with the mission of Amherst College → |
|
Board of Trustees
surface form: "Board of Trustees of Amherst College"
|
fiduciary oversight of Amherst College → |
|
Board of Trustees
surface form: "Board of Trustees of Amherst College"
|
long-term sustainability of Amherst College → |
|
Board of Trustees
surface form: "Board of Trustees of Boston College"
|
alignment of Boston College operations with its mission → |
|
Board of Trustees
surface form: "Board of Trustees of Boston College"
|
long-term financial sustainability of Boston College → |
| Board of Trustees of Columbia University | alignment of resources with institutional priorities → |
| Board of Trustees of Columbia University | compliance with applicable laws and regulations → |
| Board of Trustees of Columbia University | fiduciary oversight for Columbia University → |
|
Board of Trustees
surface form: "Board of Trustees of Smith College"
|
alignment of institutional policies with the mission of Smith College → |
|
Board of Trustees
surface form: "Board of Trustees of Smith College"
|
alignment of strategic direction with the mission of Smith College → |
|
Board of Trustees
surface form: "Board of Trustees of Wellesley College"
|
alignment of institutional policies with the mission of Wellesley College → |
|
Board of Trustees
surface form: "Board of Trustees of Wellesley College"
|
compliance with legal and regulatory requirements → |
|
Board of Trustees
surface form: "Board of Trustees of Wellesley College"
|
fiduciary oversight of Wellesley College → |
| Board of Trustees of Williams College | alignment of Williams College with its mission → |
| Board of Trustees of Williams College | institutional accountability of Williams College → |
| Board of Trustees of Williams College | long-term financial sustainability of Williams College → |
| Board of Trustees of the Los Angeles County Museum of Art | alignment of museum activities with its mission → |
| Board of Trustees of the Los Angeles County Museum of Art | compliance with institutional policies at the Los Angeles County Museum of Art → |
| Board of Trustees of the University of Illinois | accountability of university leadership → |
| Board of Trustees of the University of Illinois | alignment of university mission with public interest → |
| Board of Trustees of the University of Maine System | compliance with state higher education policy → |
| Board of Trustees of the University of Maine System | fiscal accountability of the University of Maine System → |
|
Board of Trustees
surface form: "Board of Trustees of the University of Notre Dame"
|
alignment of university operations with Catholic mission → |
|
Board of Trustees
surface form: "Board of Trustees of the University of Notre Dame"
|
alignment of university operations with founding values → |
| Board of the British Library | alignment with government policy for national libraries → |
| Board of the British Library | proper stewardship of public funds allocated to the British Library → |
| Board of the Chamber of Deputies of Chile | application of the rules of procedure of the Chamber of Deputies of Chile → |
| Board of the Chamber of Deputies of Chile | continuity of legislative work in the Chamber of Deputies of Chile → |
| Boston College Board of Trustees | alignment of Boston College operations with mission → |
| Boston College Board of Trustees | fiduciary responsibility for Boston College → |
| Boston College Board of Trustees | long-term financial sustainability of Boston College → |
|
British Transport Police Authority (through sponsorship)
surface form: "British Transport Police Authority"
|
that the needs of passengers and staff are reflected in policing priorities → |
|
British Transport Police Authority (through sponsorship)
surface form: "British Transport Police Authority"
|
value for money in railway policing → |
| Budget Committee | parliamentary control over government financial management → |
| Budget Responsibility and National Audit Act 2011 | independence of public audit from government → |
| Budget Responsibility and National Audit Act 2011 | operational independence of the Comptroller and Auditor General → |
|
Bulla Benedictus Deus (1564) confirming the Council of Trent
surface form: "Bulla Benedictus Deus (1564)"
|
official and authoritative adoption of the Council of Trent decrees via predicate surface "ensured" → |
|
Bulla Benedictus Deus (1564) confirming the Council of Trent
surface form: "Bulla Benedictus Deus (1564)"
|
universal obligation of Tridentine decrees in the Catholic Church via predicate surface "ensured" → |
|
Bureau of the Senate
surface form: "Bureau of the Senate (Belgium)"
|
application of the Senate’s internal rules → |
|
Bureau of the Senate
surface form: "Bureau of the Senate (Belgium)"
|
continuity of the Senate’s internal operations → |
| CJUE | observance of EU law in interpretation and application of the Treaties → |
| CQF | bounded end-to-end delay → |
| CQF | predictable forwarding behavior → |
| CQF | zero congestion loss under configured conditions → |
| Cabinet Secretary of India | collective responsibility of the Council of Ministers is facilitated administratively → |
|
Canadian federal government (Ottawa)
surface form: "Canadian federal government"
|
Constitution Act, 1982
via predicate surface "guaranteedBy"
→
surface form: "Canadian Charter of Rights and Freedoms"
|
| Candidate Recommendation | multiple independent interoperable implementations exist or are planned → |
| Center for Scientific Review | compliance with NIH peer review regulations → |
| Center for Scientific Review | confidentiality of grant applications during review → |
| Center for Scientific Review | conflict of interest management in peer review → |
| Center for Scientific Review | transparency in NIH peer review → |
| Center for Veterinary Medicine | that animal drugs are effective for their intended use → |
| Center for Veterinary Medicine | that animal drugs are safe for the treated animal → |
| Center for Veterinary Medicine | that drug residues in food from treated animals are safe for humans → |
| Central African CFA franc |
French Ministry of Finance
via predicate surface "guaranteedBy"
→
surface form: "French Treasury"
|
| Chief Clerk of the Assembly | accurate documentation of legislative proceedings → |
| Chief Clerk of the Assembly | compliance with Assembly Rules → |
| Chief Clerk of the Assembly | compliance with parliamentary authorities → |
| Chief Judge of the United States Court of Appeals for the Armed Forces | orderly and efficient operation of the court → |
| Chief Judge of the United States Court of Appeals for the Armed Forces | uniform interpretation of the Uniform Code of Military Justice → |
| Chief of Army Reserve | Army Reserve soldiers are properly equipped → |
| Chief of Army Reserve | Army Reserve soldiers are properly trained → |
| Chief of Army Reserve |
Army Reserve armoured units
→
surface form: "Army Reserve units are ready for mobilization"
|
| Chief of Navy Reserve |
United States Navy Reserve
→
surface form: "Navy Reserve units are trained and ready for mobilization"
|
| Chief of Navy Reserve | integration of reserve forces with active-duty Navy forces → |
| Civil Service Commission | appointments are made following fair and open competition → |
| Civil Service Commission | appointments are made on merit → |
| Civil Service Commission | civil servants are selected through objective processes → |
| Commander, U.S. Strategic Command | readiness of U.S. strategic forces → |
| Committee notes to rule amendments | consistent interpretation of amendments via predicate surface "helpsEnsure" → |
| Committee notes to rule amendments | predictable application of procedural rules via predicate surface "helpsEnsure" → |
| Committee on Contracting Oversight and Equity | equitable access to city contracts via predicate surface "aimsToEnsure" → |
| Committee on Contracting Oversight and Equity | non-discriminatory contracting practices via predicate surface "aimsToEnsure" → |
| Committee on Contracting Oversight and Equity | transparency in the award of city contracts via predicate surface "aimsToEnsure" → |
| Common Language Specification | cross-language debugging → |
| Common Language Specification | cross-language exception handling → |
| Common Language Specification | cross-language inheritance → |
| Common Language Specification | cross-language type usage → |
| Common Type System | common representation of types across languages → |
| Common Type System | consistent type semantics across languages → |
| Compact of Free Association with the United States | full internal self-government for associated states → |
| Comptroller and Auditor General of India | proper use of public funds → |
| Comptroller and Auditor General of India | regularity and propriety of government expenditure → |
| Computing Accreditation Commission | continuous improvement in accredited computing programs → |
| Computing Accreditation Commission | recognized quality standards in computing programs → |
|
Constitution of 3 May 1791 (adopted by the Four-Year Sejm)
surface form: "Constitution of 3 May 1791"
|
religious tolerance for non-Catholics via predicate surface "guaranteed" → |
|
Constitutional Court
surface form: "Constitutional Court (Portugal)"
|
supremacy of the Portuguese Constitution → |
|
Constitutional Court of Colombia (which handles constitutional review)
surface form: "Constitutional Court of Colombia"
|
supremacy of the Constitution of Colombia → |
| Constitutional Court of Korea | supremacy of the Constitution of the Republic of Korea → |
| Coordinating Board | accountability of the Stop TB Partnership → |
| Coordinating Board | alignment with global TB commitments → |
| Corrections Division | compliance with constitutional standards for confinement → |
| Corte Suprema de Justicia de la República | independence of the judiciary → |
| Corte Suprema de Justicia de la República | protection of fundamental rights through judicial decisions → |
|
Council of Ministers
surface form: "Council of Ministers (Belgium)"
|
coordination of federal ministries → |
|
Council of Ministers
surface form: "Council of Ministers (SADC)"
|
adherence to SADC Treaty and protocols → |
|
Council of State
surface form: "Council of State of Cuba"
|
compliance with the Constitution of Cuba → |
|
Council of State
surface form: "Council of State of Cuba"
|
implementation of laws passed by the National Assembly → |
| Council of the International Seabed Authority | activities in the Area are carried out for the benefit of mankind as a whole → |
| Council of the International Seabed Authority | equitable sharing of financial and other economic benefits from activities in the Area → |
| Council of the University of Sheffield | alignment of university activities with its mission and values → |
| Council of the University of Sheffield | effective management of the University of Sheffield → |
| Council of the University of Sheffield | proper stewardship of university funds and assets → |
| Council of the University of Sheffield | that the university maintains appropriate systems of internal control → |
| Council of the University of Sheffield | that the university meets its statutory obligations → |
| Court of Justice of the Andean Community | primacy of Andean Community law over conflicting national law of member states → |
| Court of Justice of the Andean Community | uniform interpretation of Andean Community norms → |
|
Criminal Chambers
surface form: "Criminal Chambers of the Supreme Court of Peru"
|
application of due process in criminal cases → |
|
Criminal Chambers
surface form: "Criminal Chambers of the Supreme Court of Peru"
|
protection of constitutional rights in criminal proceedings → |
| Crown Estate Act 1961 | that the Crown Estate is managed independently of the monarch’s private property → |
| Crown Prosecution Service | independence of prosecution decisions from police → |
| Crown in right of the Channel Islands | good government of the Channel Islands → |
| Czech–Slovak federalism | formal equality of Czech and Slovak nations via predicate surface "seeksToGuarantee" → |
| Czech–Slovak federalism | protection of Slovak national interests within Czechoslovakia via predicate surface "seeksToGuarantee" → |
| Defense Attache Service | professional training and selection of attachés → |
| Defense Attache Service | standardization of attaché reporting → |
| Defense Attache Service | unity of DoD representation at U.S. embassies → |
| Director of Intelligence of the Marine Corps | intelligence support to Marine Air-Ground Task Forces → |
| Director of Intelligence of the Marine Corps | intelligence support to Marine Corps component commands → |
| District of Columbia Office of the Chief Financial Officer | balanced budget for the District of Columbia → |
| District of Columbia Office of the Chief Financial Officer | compliance with financial laws and regulations → |
| District of Columbia Office of the Chief Financial Officer | transparent financial reporting → |
| Domestic Policy Council | alignment of domestic policy with presidential priorities → |
| Doob–Meyer decomposition | martingale part starts at the initial value of the submartingale → |
| Doob–Meyer decomposition | predictable increasing part is null at time zero → |
| ERC Scientific Council | long-term scientific vision of the ERC → |
| ERC Scientific Council | scientific integrity of ERC funding decisions → |
| East African Court of Justice | adherence to law in the interpretation and application of the EAC Treaty → |
| Edict of Nantes | amnesty for acts committed during the wars via predicate surface "guaranteed" → |
| Edict of Nantes | freedom of conscience via predicate surface "guaranteed" → |
| Election Commission of India | universal adult suffrage implementation in elections → |
| Electoral College of India | representation of Union Territories with legislatures in election of the President → |
| Electoral College of India | representation of states in election of the President → |
| Engineering Technology Accreditation Commission | continuous improvement in accredited engineering technology programs → |
| English forces under Richard Nicolls | continuation of property rights for Dutch settlers via predicate surface "ensured" → |
| English forces under Richard Nicolls | religious freedom for Dutch Reformed Church in New York via predicate surface "ensured" → |
| European Financial Stability Facility | euro area member states via predicate surface "guaranteedBy" → |
| Executive One | special handling by air traffic controllers → |
|
Federal Constitutional Court to review laws for constitutionality
surface form: "Federal Constitutional Court of Germany"
|
protection of fundamental rights under the Basic Law → |
| Federal Oil and Gas Royalty Management Act of 1982 | that royalties are properly reported and paid → |
| Federal Oil and Gas Royalty Management Act of 1982 | that the public receives fair value for resources extracted from federal lands → |
| Federal Service for Technical Regulation and Metrology of Russia | reliability of measurements in Russia → |
| Federal Service for Technical Regulation and Metrology of Russia | traceability of measurements to national standards → |
| Fedora Council | alignment with Fedora foundations → |
| Fedora Council | alignment with Fedora mission → |
| Finnish government | observance of the Constitution of Finland → |
| Forces Command (Australia) | Army units meet operational readiness standards → |
| Frame of Government of Pennsylvania | due process protections via predicate surface "guaranteed" → |
| Frame of Government of Pennsylvania | freedom of worship for monotheists via predicate surface "guaranteed" → |
| Frame of Government of Pennsylvania | liberty of conscience via predicate surface "guaranteed" → |
| Frame of Government of Pennsylvania | trial by jury via predicate surface "guaranteed" → |
| Franco-Polish alliance | France via predicate surface "guaranteedBy" → |
| Franco-Polish alliance | Poland via predicate surface "guaranteedTo" → |
| Fullscreen API Standard | user can always exit full-screen mode → |
| GAW Central Facilities | implementation of GAW quality management framework → |
| GAW Central Facilities | traceability of measurements to reference standards → |
| GAW World Calibration Centres | comparability of atmospheric measurements between GAW stations → |
| GAW World Calibration Centres | traceability of measurements to SI units where applicable → |
| General Affairs Council | coherence in the work of different Council configurations → |
|
General Assembly
surface form: "General Assembly (Commonwealth Games Federation)"
|
member associations’ participation in decision-making → |
| General Committee | coherent scheduling of meetings of the General Assembly and its Main Committees → |
| General Committee | orderly conduct of the business of the General Assembly → |
| General Directorate of Civil Status | accuracy of civil records → |
| General Directorate of Civil Status | uniqueness of national identification numbers → |
| Global Drug Facility | international quality standards for tuberculosis medicines → |
| Global Drug Facility | quality-assured tuberculosis medicines → |
| Grand Duke of Finland | Finnish laws and privileges (in principle) via predicate surface "guaranteed" → |
| Grand Tyler | only members in good standing enter the lodge → |
| Grand Tyler | visitors are properly vouched for → |
| Grand maître de la Légion d'honneur | respect des statuts de la Légion d'honneur via predicate surface "assure" → |
| Guarantee of Republican Government | minimum standard of republican governance in states → |
| Gundersen method | overall standings are directly reflected in finish order → |
| Habeas Corpus Act 1679 | access to the writ of habeas corpus → |
| Habeas Corpus Act 1679 | judicial oversight of executive detention → |
| Haitian Constitution of 1801 | security of persons and property via predicate surface "guaranteed" → |
| Headquarters Agreement between the International Criminal Court and the Host State | independence of the International Criminal Court from the host State → |
| Headquarters Agreement between the International Criminal Court and the Host State | protection of ICC archives and documents → |
| Headquarters Agreement between the International Criminal Court and the Host State | protection of ICC premises and property → |
| High Court of Azad Jammu and Kashmir | Administration of justice in Azad Jammu and Kashmir → |
| High People's Courts | state funding via predicate surface "guaranteedBy" → |
| High People's Courts | uniform application of law within the province → |
| Hilbert’s irreducibility theorem | many polynomial equations with parameters remain irreducible for infinitely many specializations of the parameters → |
| House of Representatives has priority in designating the Prime Minister | resolution of inter‑house deadlock over Prime Minister selection → |
| House of Representatives has priority in designating the Prime Minister | stability of cabinet formation → |
| Human Resources Management Department | application of international civil service standards in HR matters → |
| Human Resources Management Department | compliance with ITU human resources policies → |
| IANA Naming Function Contract | continuity of DNS root zone management → |
| IANA Naming Function Contract | stability of the domain name system → |
|
ICC Chambers (in judicial proceedings)
surface form: "ICC Chambers"
|
equality of arms between prosecution and defense → |
|
ICC Chambers (in judicial proceedings)
surface form: "ICC Chambers"
|
public and transparent proceedings subject to necessary protections → |
| IEC 60603-7 | interoperability of 8P8C connectors from different manufacturers → |
| IEC 60603-7 | minimum performance levels for Ethernet connectors → |
| IEC 60870‑5‑104 | interoperability between SCADA devices → |
|
IEEE 802.1AS timing and synchronization standard
surface form: "IEEE 802.1AS"
|
common notion of time across network nodes → |
| IEEE 802.1CB | continuous data delivery in case of link failure → |
| IEEE 802.1CB | protection against single network failures → |
| IEEE 802.1CB Frame Replication and Elimination for Reliability | continued delivery of frames despite certain network failures → |
| IEEE 802.1CB Frame Replication and Elimination for Reliability | no duplicate frames are delivered to user of the service → |
|
IEEE 802.1CM fronthaul standard
surface form: "IEEE 802.1CM"
|
QoS for fronthaul traffic over Ethernet → |
|
IEEE 802.1CM fronthaul standard
surface form: "IEEE 802.1CM"
|
time-sensitive delivery of radio samples → |
|
IEEE 802.1Qat stream reservation protocol standard
surface form: "IEEE 802.1Qat"
|
admission control for time-sensitive streams → |
|
IEEE 802.1Qat stream reservation protocol standard
surface form: "IEEE 802.1Qat"
|
that reserved streams do not exceed available resources → |
|
IEEE 802.1Qav forwarding and queuing for time‑sensitive streams standard
surface form: "IEEE 802.1Qav"
|
bounded latency for selected traffic classes → |
|
IEEE 802.1Qav forwarding and queuing for time‑sensitive streams standard
surface form: "IEEE 802.1Qav"
|
controlled congestion for time-sensitive streams → |
| IEEE 802.1Qbu | integrity of preempted frames via reassembly → |
|
IEEE 802.1Qch cyclic queuing and forwarding standard
surface form: "IEEE 802.1Qch"
|
predictable frame transmission times → |
|
IEEE 802.1Qch cyclic queuing and forwarding standard
surface form: "IEEE 802.1Qch"
|
repeatable transmission cycles → |
| IEEE 802.1Qdl TSN for fronthaul standard | deterministic forwarding of fronthaul packets → |
| IEEE 802.1Qdl TSN for fronthaul standard | predictable behavior of fronthaul Ethernet networks → |
| IEEE 802.1Qdm resource management standard | predictable behavior of TSN flows → |
| IEEE 802.1Qdm resource management standard | reliable delivery of time-sensitive traffic → |
| IEEE 802.1Qdt TSN for converged networks standard | predictable network behavior for time-sensitive flows → |
| IEEE 802.1Qdt TSN for converged networks standard | quality of service for critical traffic → |
| IEEE 802.1Qfr | predictable network behavior for selected traffic → |
|
IEEE 802.3af Power over Ethernet standard
surface form: "IEEE 802.3af"
|
safe coexistence of PoE and non-PoE devices on same cable plant → |
| IEEE 802.3az | backward compatibility with non-EEE Ethernet devices → |
| IEEE 802.3ba | interoperability between 40G and 100G Ethernet equipment → |
|
IETF Area Directors
surface form: "IETF Area Director"
|
IETF processes are followed in their Area → |
| ISO 3166 | unambiguous identification of countries and territories → |
| ISO/IEC 8652 | interoperability of Ada implementations → |
| ITU Member States | implementation of ITU treaties at national level via predicate surface "ensure" → |
| ITU-T G.8275.1 | interoperability of time synchronization equipment → |
| IVASS | protection of beneficiaries of insurance contracts → |
| IVASS | protection of insured persons → |
| IVASS | protection of policyholders → |
| Import-Export Clause | centralized federal control over customs policy → |
| Initial Training Group | standardisation of initial soldier training across establishments → |
| Internet Assigned Numbers Authority | global uniqueness of IP addresses → |
| Internet Assigned Numbers Authority | global uniqueness of protocol parameter values → |
| Internet Assigned Numbers Authority | stability of the DNS root zone → |
| J4 Logistics Directorate | integration of logistics across U.S. military services → |
| J4 Logistics Directorate | logistics supportability of joint plans → |
| Janet–Cartan theorem | local isometry between the manifold and its image in Euclidean space → |
| Japan Ministry of Defense | civilian control of the military in Japan → |
| Java Virtual Machine Specification | consistent implementation of Java across platforms → |
| Jerusalem Islamic Waqf | Islamic religious practices at Al-Aqsa Mosque → |
|
Joint staff
surface form: "Joint Staff of the French Armed Forces"
|
interoperability of French military services → |
| Judicial Branch of Mexico | supremacy of the Constitution of Mexico → |
| Judicial Divisions of the International Criminal Court | impartiality of proceedings via predicate surface "ensuresPrinciple" → |
| Judicial Divisions of the International Criminal Court | independence of judges via predicate surface "ensuresPrinciple" → |
| Judicial Divisions of the International Criminal Court | protection of victims and witnesses via predicate surface "ensuresPrinciple" → |
| Judicial Divisions of the International Criminal Court | rights of the accused via predicate surface "ensuresPrinciple" → |
| Judiciary of Italy | application of Italian law → |
| Judiciary of Italy | civil justice → |
| Judiciary of Italy | criminal justice → |
| Judiciary of Italy | interpretation of Italian law → |
| Judiciary of Italy | judicial review of administrative acts → |
| Judiciary of Italy | protection of rights and freedoms → |
| Judiciary of Italy | upholding of the Constitution → |
| Judiciary of Japan | rule of law in Japan → |
| Judiciary of Nigeria | Constitution of the Federal Republic of Nigeria via predicate surface "guaranteedBy" → |
| Judiciary of Nigeria | rule of law in Nigeria → |
| Junior Warden | proper decorum during refreshment → |
| Junior Warden | that members do not convert refreshment into excess → |
| Kandyan Convention | certain privileges to Kandyan chiefs via predicate surface "guaranteed" → |
| Kandyan Convention | protection of Buddhism via predicate surface "guaranteed" → |
| Kenyan Ministry of Finance | accountability in public financial management in Kenya → |
| Kenyan Ministry of Finance | fiscal sustainability in Kenya → |
| Kripke fixed-point theory of truth | consistency of the truth predicate → |
| Lebesgue integration | completeness of L^p spaces → |
| Lebesgue integration | existence of integrals for many pointwise limits of integrable functions → |
| Lifeline program | affordable access to communications services via predicate surface "aimsToEnsure" → |
| Lorentz transformation | constancy of the speed of light in all inertial frames → |
| MBTA standard signage | consistent information presentation → |
| MBTA standard signage | uniform visual language across the network → |
| Manx judiciary | independence of the courts in the Isle of Man → |
| Manx judiciary | rule of law in the Isle of Man → |
| Marine Corps Installations Pacific | availability of training areas and facilities for Marine units in the Pacific → |
| Marine Corps Installations Pacific | installation support for contingency and crisis response operations in the Pacific theater → |
| Marine Corps component commands | command and control of Marine forces in theater → |
| Marine Corps component commands | logistical support for Marine forces in theater → |
| Marine Corps component commands | readiness of assigned Marine forces → |
| Maritime Authority System | compliance with maritime law → |
| Maritime Authority System | safety of navigation → |
| Maritime Authority System | security of maritime transport → |
| Massachusetts Court Administrator | coordination among court departments → |
| Massachusetts Court Administrator | delivery of administrative services to courts → |
| Massachusetts Court Administrator | operational support for court proceedings → |
| Merit Systems Protection Board | merit-based federal employment decisions → |
| Merit Systems Protection Board | protection for federal whistleblowers → |
| Mexican Constitution of 1824 | division of powers via predicate surface "guaranteed" → |
| Mexican Constitution of 1824 | representative government via predicate surface "guaranteed" → |
| Military Judicial System of Portugal | application of specific military penal norms → |
| Military Judicial System of Portugal | compatibility of military discipline with fundamental rights → |
| Minister of Defence | alignment of military operations with government policy → |
| Ministry of Internal Affairs of Romania | implementation of Schengen acquis in its field of competence → |
| Ministry of Internal Affairs of Romania | protection of fundamental rights in the field of internal security → |
| Minkowski inequality | Lp is a metric space → |
| Minkowski inequality | Lp norm is subadditive → |
| NATO International Military Staff | implementation of Military Committee decisions at staff level → |
| National Counterterrorism Center Director | fusion of foreign and domestic terrorism-related intelligence → |
| National Counterterrorism Center Director | timely dissemination of terrorism threat information to stakeholders → |
|
National Electoral Council
surface form: "National Electoral Council (Cuba)"
|
formal legality of electoral procedures → |
|
National Electoral Council
surface form: "National Electoral Council (Cuba)"
|
implementation of electoral regulations issued by the Cuban state → |
| National Film Preservation Act of 1988 | non-ownership of films by the government solely due to Registry listing → |
| National Industrial Recovery Act | freedom from interference in union activities via predicate surface "laborProvisionGuaranteed" → |
| National Industrial Recovery Act | right of employees to organize and bargain collectively via predicate surface "laborProvisionGuaranteed" → |
| National Security Council communications staff | alignment of public messaging with classified policy decisions where appropriate → |
| New York IRC | compliance of district maps with legal requirements → |
| New York IRC | district maps reflect population shifts in New York State → |
| No Religious Test Clause | that oath or affirmation to support the Constitution is not a religious test → |
| Northern Army Commander | maintenance of high-altitude warfare capability → |
| Northern Army Commander | security of critical infrastructure in northern sector → |
| Northern Army Commander | winter preparedness of troops in high-altitude areas → |
| OIOS | accountability in the use of United Nations resources → |
| OIOS | effectiveness of United Nations programmes → |
| OIOS | efficiency of United Nations operations → |
| ONRR | timely and accurate disbursement of natural resource revenues to beneficiaries → |
| OSD(A&S) | effective and efficient procurement of military systems and services → |
| OSD(A&S) | sustainment of fielded military capabilities → |
| Ofcom | availability of universal postal service → |
| Ofcom | efficient use of radio spectrum → |
|
Office of General Counsel
surface form: "Office of General Counsel (OMB)"
|
compliance of OMB activities with applicable law → |
| Office of Inspector General | accountability in use of public funds → |
| Office of Inspector General | compliance with ethical standards → |
| Office of Rail and Road | fair access to the rail network → |
| Office of Rail and Road | safety of the railway network in Great Britain → |
| Office of Rail and Road | value for money from Network Rail → |
| Office of Satellite Ground Services | continuity of environmental satellite data flows → |
| Office of Satellite Ground Services | operational readiness of satellite ground infrastructure → |
| Office of the Chief Financial Officer and Director of Administration | compliance with federal administrative requirements → |
| Office of the Chief Financial Officer and Director of Administration | compliance with federal budgeting requirements → |
| Office of the Chief Financial Officer and Director of Administration | compliance with federal financial management requirements → |
| Office of the Chief Financial Officer and Director of Administration | effective use of financial resources in the International Trade Administration → |
| Office of the Chief Financial Officer of the Department of Labor | accountability for Department of Labor financial resources → |
| Office of the Chief Financial Officer of the Department of Labor | financial transparency for the Department of Labor → |
| Office of the Chief Financial Officer of the Department of Labor | proper use of appropriated funds by the Department of Labor → |
|
Office of the Director
surface form: "Office of the Director (CISA)"
|
alignment of CISA activities with national security priorities → |
|
Office of the Director
surface form: "Office of the Director (CISA)"
|
compliance with DHS policies → |
| Office of the Director of Operational Test and Evaluation | operational tests are conducted under realistic combat conditions → |
| Office of the Director of Operational Test and Evaluation | operational tests use production-representative systems → |
| Office of the Director of Operational Test and Evaluation | operational tests use typical users and maintainers → |
| Office of the Immigration Services Commissioner | compliance with immigration advice regulations → |
| Office of the Immigration Services Commissioner | that only regulated advisers provide immigration advice → |
|
Data Guard
surface form: "Oracle Data Guard"
|
transactional consistency on standby → |
| Oregon Administrative Procedures Act | openness in Oregon administrative rulemaking → |
| Oregon Administrative Procedures Act | procedural safeguards for affected parties in Oregon → |
| Oregon Beach Bill | free and uninterrupted public use of Oregon ocean beaches → |
| Oregon State Treasury | compliance with state investment statutes → |
| Oregon State Treasury | safekeeping of state funds → |
| PTP | slave clocks to master clock via predicate surface "synchronizes" → |
|
Pacific Region
surface form: "Pacific Region (BOEM)"
|
compliance with environmental laws for offshore energy activities in the Pacific OCS → |
|
Pacific Region
surface form: "Pacific Region (BOEM)"
|
consideration of coastal and marine ecosystems in offshore energy decisions → |
| Part 10: Enforcement | that the ICC retains ultimate authority over the sentence imposed → |
| Peano notation | 0 is not the successor of any number → |
| Peano notation | different numbers have different successors → |
| Peano notation | uniqueness of successor → |
| People’s Supreme Court | compliance with Cuban legislation by courts → |
| Permanent Representatives' Committee | Follow‑up of AU decisions at ambassadorial level → |
| Permanent Secretary of the Cabinet Office | civil service impartiality within the Cabinet Office → |
| Permanent Secretary of the Cabinet Office | effective delivery of Cabinet Office objectives → |
| Plan of Iguala | independence via predicate surface "guarantee" → |
| Plan of Iguala | religion via predicate surface "guarantee" → |
| Plan of Iguala | union via predicate surface "guarantee" → |
| Planning Inspectorate (policy sponsorship) | independent examination of planning decisions → |
| Planning Inspectorate (policy sponsorship) | scrutiny of local development plans → |
| Policy-Based Management | compliance with organizational standards → |
| President of the First Chamber | observance of constitutional and procedural norms in the First Chamber → |
| President of the First Chamber | smooth conduct of legislative business in the First Chamber → |
|
presidential airlift group
surface form: "Presidential Airlift Group"
|
continuity of government through secure presidential airlift → |
| Principal Private Secretary to the Prime Minister | continuity of government between changes of Prime Minister → |
| Public Broadcasting Act of 1967 | noncommercial character of public broadcasting services → |
|
public prosecution service of Egypt
surface form: "Public Prosecution Service of Egypt"
|
application of criminal law → |
|
Puerto Rico Department of State (oversight of municipalities)
surface form: "Puerto Rico Department of State"
|
legal conformity of municipal actions with Puerto Rico law → |
| Putting the Ball in Play and Dead Ball | uniform enforcement of live and dead ball rules → |
| Quebec Act | free practice of Roman Catholicism in Quebec via predicate surface "guaranteed" → |
| ReasonML | type safety via predicate surface "hasStrongGuarantee" → |
| Rectoría, University of La Serena | compliance with national higher education regulations → |
| Rectoría, University of La Serena | compliance with university statutes → |
|
Registration Authority
surface form: "Registration Authority for ISO 20022"
|
backward compatibility of ISO 20022 messages → |
|
Registration Authority
surface form: "Registration Authority for ISO 20022"
|
consistency of ISO 20022 data dictionary → |
|
Registration Authority
surface form: "Registration Authority for ISO 20022"
|
quality of ISO 20022 message definitions → |
| Registration Management Group | backward compatibility of ISO 20022 messages where feasible → |
| Registration Management Group | coherence of ISO 20022 data model across domains → |
| Report Review Committee of the National Academies | that review processes are conducted by qualified experts → |
| Report Review Committee of the National Academies | that review processes are independent → |
| Report Review Committee of the National Academies | that review processes are rigorous → |
| Reporter of Decisions of the Supreme Judicial Court | authenticity of published Supreme Judicial Court decisions → |
| Reporter of Decisions of the Supreme Judicial Court | consistency of legal citations in official reports → |
| Rhineland Pact | Kingdom of Italy via predicate surface "guaranteedBy" NERFINISHED → |
| Rhineland Pact | United Kingdom via predicate surface "guaranteedBy" NERFINISHED → |
| Riemann mapping theorem | holomorphic bijection with holomorphic inverse onto the unit disk via predicate surface "guaranteesExistenceOf" → |
| Rome Statute Article 42 | functional independence of prosecutorial decision‑making at the International Criminal Court → |
| Root Server System | availability of the Domain Name System → |
| Root Server System | resilience of the Domain Name System → |
| Root Server System | stability of the Domain Name System → |
| Rule 82 | that jurisdiction is determined by statutes and the Constitution rather than by procedural rules → |
| Rule 82 | that venue is determined by statutes rather than by procedural rules → |
| S-52 | uniform chart presentation between different ECDIS → |
| SCJN | protection of human rights recognized in the Constitution and international treaties → |
| SCJN | supremacy of the Mexican Constitution → |
| SCL | consistent interpretation of IEC 61850 models → |
| SCL | vendor-independent configuration exchange → |
| SCP | confidentiality of transferred data → |
| SCP | integrity of transferred data → |
| SLSDC | availability of lock and channel infrastructure for shipping → |
| SLSDC | reliability of the U.S. portion of the Saint Lawrence Seaway → |
| SLSDC | safety of navigation on the U.S. portion of the Saint Lawrence Seaway → |
| SciPy Developers | backward compatibility of SciPy APIs → |
|
Secretariat-General
surface form: "Secretariat-General of the European Commission"
|
policy coherence within the European Commission → |
| Secretary of the Hanoi Party Committee | implementation of national policies at municipal level → |
| Secretary of the Hanoi Party Committee | party leadership over government in Hanoi → |