codifiedIn

P775
predicate

Indicates that something is formally recorded, defined, or established within a specific document, code, or legal/institutional text.

All labels observed (77)

Label Occurrences
codifiedIn canonical 1,358
definedIn 1,166
codifies 561

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: codifiedIn
Generated description
Indicates that something is formally recorded, defined, or established within a specific document, code, or legal/institutional text.

Sample triples (3,911)

Subject Object
14 CFR Part 141 Title 14 of the Code of Federal Regulations
Public Law 99-603 8 U.S.C. (Immigration and Nationality Act provisions)
Vicarius Christi 1917 Code of Canon Law
Vicarius Christi Code of Canon Law (1983)
surface form: 1983 Code of Canon Law
Virginia law Code of Virginia
Structural Pattern Matching PEP 634 via predicate surface "definedIn"
Standards Track PEP 1 via predicate surface "definedIn"
Public Law 99-514 Internal Revenue Code
surface form: Internal Revenue Code of 1986
Illinois criminal law Illinois Compiled Statutes
surface form: 720 Illinois Compiled Statutes
Illinois criminal law Illinois Compiled Statutes
surface form: 725 Illinois Compiled Statutes
Illinois Controlled Substances Act Illinois Compiled Statutes via predicate surface "isCodifiedIn"
Illinois Municipal Code Illinois Compiled Statutes
Perelman’s entropy functionals Perelman’s first Ricci flow preprint (2002) via predicate surface "definedIn"
Perelman’s entropy functionals Perelman’s subsequent Ricci flow preprints (2003) via predicate surface "definedIn"
Class E airspace 14 CFR Part 71 (United States) via predicate surface "definedIn"
Public Law 99-308 Title 18 of the United States Code
Public Law 99-308 18 U.S.C. § 921 et seq.
Server Name Indication extension RFC 6066 via predicate surface "definedIn"
Server Name Indication extension RFC 3546 via predicate surface "originallyDefinedIn"
SNI RFC 6066 via predicate surface "definedIn"
Max Fragment Length extension RFC 6066 via predicate surface "definedIn"
Client Certificate URL extension RFC 6066 via predicate surface "definedIn"
Standards Track PEPs PEP 1 via predicate surface "definedIn"
Medicare secondary payer rules Section 1862(b) of the Social Security Act
Montgomery's pair correlation conjecture Hugh Montgomery's 1973 paper on the pair correlation of zeros of the zeta function via predicate surface "statedIn"
Sacrament of Conversion Council of Trent
Public Law 95-523 Title 15 of the United States Code
POP RFC 918 (POP1) via predicate surface "definedIn"
POP RFC 937 (POP2) via predicate surface "definedIn"
POP RFC 1081 (early POP3) via predicate surface "definedIn"
POP RFC 1225 (experimental POP3) via predicate surface "definedIn"
POP RFC 1939 (standard POP3) via predicate surface "definedIn"
SSH Encryption Algorithm Names RFC 4253 via predicate surface "definedIn"
Title II – Congressional Budget Office 2 U.S. Code (various sections relating to the Congressional Budget Office)
Title III – Congressional Budget Process 2 U.S.C. §§ 631 et seq. via predicate surface "codifiedInPartAt"
Title X – Impoundment Control 2 U.S.C. §§ 681–688 (as commonly cited for impoundment control provisions)
Baraguá Protest Baraguá Manifesto via predicate surface "statedIn"
Teichmüller curve moduli space of Riemann surfaces via predicate surface "definedIn"
Teichmüller curve Teichmüller space via predicate surface "definedIn"
Illinois state law Illinois Compiled Statutes
Illinois state law Illinois Compiled Statutes via predicate surface "previouslyCodifiedIn"
surface form: Illinois Revised Statutes
Māori reservation section 338 of Te Ture Whenua Māori Act 1993 via predicate surface "definedIn"
Public Law 93-344 Title 2 of the United States Code
Illinois Code of Civil Procedure Illinois Compiled Statutes
Title IV – Restricting Welfare and Public Benefits for Aliens Title 8 of the United States Code
Child Tax Credit Internal Revenue Code section 24
Yōrō Code duties of officials via predicate surface "codified"
Yōrō Code population registration via predicate surface "codified"
Yōrō Code military conscription via predicate surface "codified"
Yōrō Code corvée labor obligations via predicate surface "codified"