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 |
| specifiedIn | 146 |
| codifiedSection | 116 |
| codifiedAs | 102 |
| statedIn | 85 |
| codifiedAt | 55 |
| codified | 40 |
| codifiedSections | 37 |
| codification | 24 |
| belongsToCodeSet | 20 |
| codifiesPrinciple | 19 |
| isCodifiedIn | 19 |
| codifiedFrom | 13 |
| codifiedInPart | 13 |
| codifiedInto | 13 |
| isCodificationOf | 7 |
| locatedInLegalCode | 7 |
| codificationOf | 6 |
| previouslyCodifiedIn | 6 |
| codifiedInPartAt | 5 |
| codifiedInTitle | 5 |
| hasEthicsCode | 5 |
| primaryCodificationSection | 5 |
| codificationIncludes | 4 |
| hasCodification | 4 |
| codifiedInPartBy | 3 |
| conformanceLevelsDefinedAs | 3 |
| originallyCodifiedIn | 3 |
| originallyDefinedIn | 3 |
| regulationsCodifiedAt | 3 |
| wasCodifiedBy | 3 |
| codifiedAtSection | 2 |
| codifiedInLaw | 2 |
| codifiedInSection | 2 |
| codifiesPractice | 2 |
| embargoCodifiedBy | 2 |
| primaryCodification | 2 |
| regulationsCodifiedIn | 2 |
| sectionCodified | 2 |
| RegulationBCodifiedAt | 1 |
| Section201Defines | 1 |
| USCodeReference | 1 |
| alsoCodifiedIn | 1 |
| codexReference | 1 |
| codificationStructure | 1 |
| codificationSystem | 1 |
| codifiedAspect | 1 |
| codifiedInArticle | 1 |
| codifiedInDocument | 1 |
| codifiedInParagraphs | 1 |
| codifiedInPartAs | 1 |
| codifiedInRegulation | 1 |
| codifiedInRegulations | 1 |
| codifiedPrimarilyAt | 1 |
| codifiedSectionsBegin | 1 |
| codifiedStructureOf | 1 |
| codify | 1 |
| comprehensivelyCodified | 1 |
| earliestCodification | 1 |
| evidenceLawCodifiedIn | 1 |
| firstMajorCodificationInWork | 1 |
| formalizedInLawIn | 1 |
| hasLegalCodification | 1 |
| isCodified | 1 |
| isCodifiedAs | 1 |
| isCodifiedInLaw | 1 |
| laterCodifiedBy | 1 |
| locatedInCode | 1 |
| mainCodificationSection | 1 |
| partiallyCodifiedIn | 1 |
| previouslyCodifiedAs | 1 |
| primaryStatutoryCompilation | 1 |
| primaryUSCodeCitation | 1 |
| subsequentCodification | 1 |
| код в ГВР России | 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: 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" ⓘ |