formalizedUnder

P31448
predicate

Indicates that something has been officially established, defined, or codified within the framework, authority, or provisions of a particular formal system, agreement, or institution.

Try in SPARQL

All labels observed (8)

Label Occurrences
formalized 5
isFormalizedIn 4
codifiedUnder 3

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: formalizedUnder
Generated description
Indicates that something has been officially established, defined, or codified within the framework, authority, or provisions of a particular formal system, agreement, or institution.

Sample triples (21)

Subject Object
Caesar
surface form: Caesar (imperial title)
Diocletian ⓘ
Mozarabic Rite Visigothic Kingdom via predicate surface "codifiedUnder" ⓘ
ZF Hilbert-style deductive systems via predicate surface "isFormalizedIn" ⓘ
ZF natural deduction systems via predicate surface "isFormalizedIn" ⓘ
Treaty of Thorn (1709) renewed alliance between Russia and Poland–Lithuania via predicate surface "formalized" ⓘ
Prince of the Blood (France) House of Bourbon ⓘ
Lex Titia political alliance of Octavian, Antony, and Lepidus via predicate surface "formalized" ⓘ
Hilbert's first problem Zermelo–Fraenkel set theory via predicate surface "formalContext" NERFINISHED ⓘ
Hilbert's first problem Zermelo–Fraenkel set theory with Choice via predicate surface "formalContext" NERFINISHED ⓘ
Ethiopian imperial titulature Haile Selassie I via predicate surface "codifiedUnder" NERFINISHED ⓘ
Four Quarters of the Old City of Jerusalem Ottoman rule in Jerusalem via predicate surface "formalizedDuring" ⓘ
Constitution of the Year XIII structure of the First French Empire via predicate surface "formalized" ⓘ
Eighth Amendment to the Constitution of Pakistan Islamization measures in Pakistan via predicate surface "formalized" ⓘ
Treaty of Zamora political autonomy of Portugal via predicate surface "formalized" ⓘ
Mughal administration (historical)
surface form: Mughal administration
Akbar via predicate surface "codifiedUnder" NERFINISHED ⓘ
Western Augustus Diocletian NERFINISHED ⓘ
King of the Belgians on judicial appointments royal appointment decree via predicate surface "formalActType" ⓘ
King of the Belgians on judicial appointments royal decree via predicate surface "formalActType" ⓘ
law of excluded middle Hilbert-style proof systems via predicate surface "isFormalizedIn" ⓘ
law of excluded middle sequent calculi for classical logic via predicate surface "isFormalizedIn" ⓘ
semantics of C in Isabelle/HOL Isabelle/HOL via predicate surface "formalisedIn" NERFINISHED ⓘ