isFormalizedBy

P8407
predicate

Indicates that something is given a defined, structured, or official form through a specific method, process, or representation.

Try in SPARQL

All labels observed (11)

Label Occurrences
formalizedBy 81
formalizedAs 29
systematizedBy 19

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: isFormalizedBy
Generated description
Indicates that something is given a defined, structured, or official form through a specific method, process, or representation.

Sample triples (145)

Subject Object
Diplomatic Revolution of 1756 First Treaty of Versailles (1756) ⓘ
Diplomatic Revolution of 1756 Second Treaty of Versailles (1757) ⓘ
linked to: First Treaty of Versailles (1756)
Diplomatic Revolution of 1756 Westminster Convention (1756) ⓘ
Royal Warrant (for royal title and status) written instrument under the royal sign-manual via predicate surface "formalizedAs" ⓘ
Juche Kim Jong Il via predicate surface "systematizedBy" ⓘ
Anglo-American intelligence cooperation UKUSA Agreement via predicate surface "formalizedBy" ⓘ
dissolution of the Soviet Union Belavezha Accords via predicate surface "formalizedBy" ⓘ
dissolution of the Soviet Union Alma-Ata Protocol via predicate surface "formalizedBy" ⓘ
linked to: Belavezha Accords
Euclidean quantum field theory Osterwalder–Schrader reconstruction theorem via predicate surface "formalizedBy" ⓘ
linked to: Osterwalder–Schrader axioms
Euclidean quantum field theory axiomatic approaches via predicate surface "formalizedBy" ⓘ
founding of the Republic of Turkey Treaty of Lausanne via predicate surface "formalizedBy" ⓘ
Dominions of the British Empire Balfour Declaration of 1926 via predicate surface "formalizedBy" ⓘ
linked to: Balfour Declaration
British Dominions Imperial Conferences via predicate surface "formalizedBy" ⓘ
linked to: Imperial Conference of 1926
expected utility theory
linked to: expected utility theory (with John von Neumann)
von Neumann–Morgenstern utility theorem via predicate surface "formalizedBy" ⓘ
linked to: expected utility theory (with John von Neumann)
Queen of New Zealand Royal Titles Act 1953 (New Zealand) via predicate surface "separateCrownFormalisedBy" ⓘ
ASEAN Political-Security Community ASEAN Charter via predicate surface "formalisedUnder" ⓘ
Bayesian inference Thomas Bayes via predicate surface "formalizedBy" ⓘ
Phillips curve framework expectations-augmented Phillips curve by Milton Friedman via predicate surface "formalizedAs" ⓘ
linked to: Phillips curve framework
Phillips curve framework expectations-augmented Phillips curve by Edmund Phelps via predicate surface "formalizedAs" ⓘ
Markov process
linked to: Markov processes
family of random variables indexed by time via predicate surface "formalizedAs" ⓘ
Ricardian equivalence Robert J. Barro in the 1970s via predicate surface "formalizedBy" ⓘ
Ricardian rent David Ricardo in "On the Principles of Political Economy and Taxation" via predicate surface "formalizedBy" ⓘ
Neoplatonism Porphyry via predicate surface "systematizedBy" ⓘ
spacetime manifold tensor calculus via predicate surface "formalizedBy" ⓘ
spacetime manifold differential geometry via predicate surface "formalizedBy" ⓘ
Empty Category Principle condition on government of empty positions via predicate surface "formalizedAs" ⓘ
India–Pakistan Line of Control Simla Agreement via predicate surface "formalizedBy" ⓘ
Treaty of Berlin (1878) transfer of Batum to Russian Empire Treaty of Berlin (1878) via predicate surface "formalizedBy" ⓘ
linked to: Treaty of Berlin 1878
Gödel's ontological proof computer-verified proof in higher-order logic via predicate surface "hasFormalization" ⓘ
Status Quo of the Holy Places Ottoman Sultan Abdulmejid I via predicate surface "formalizedBy" ⓘ
linked to: Sultan Abdülmecid I
Mosaic covenant blood ritual via predicate surface "formalizedBy" ⓘ
Mosaic covenant sacrifice via predicate surface "formalizedBy" ⓘ
Hail Mary Roman Catholic Church via predicate surface "formalizedBy" ⓘ
linked to: Roman Catholicism
topological quantum field theory Atiyah–Segal axioms via predicate surface "formalizedBy" ⓘ
Pareto efficiency Pareto ordering via predicate surface "formalizedBy" ⓘ
Lie pseudogroup Charles Ehresmann via predicate surface "formalizedBy" ⓘ
Lie pseudogroup Shoshichi Kobayashi via predicate surface "formalizedBy" ⓘ
Halting problem membership problem for the halting set K via predicate surface "formalizedAs" ⓘ
Halting problem set of indices of Turing machines that halt on a given input via predicate surface "formalizedAs" ⓘ
Regular Expression Search Algorithm Ken Thompson via predicate surface "formalizedBy" ⓘ
OWL 2 RL set of entailment rules via predicate surface "hasFormalization" ⓘ
Yang–Mills existence and mass gap problem Jaffe–Witten problem statement via predicate surface "formalizedBy" ⓘ
linked to: Yang–Mills existence and mass gap problem
Probability theory
linked to: Probability Theory
Andrey Kolmogorov via predicate surface "formalizedBy" ⓘ
linked to: Andrei Kolmogorov
Tuscan order Sebastiano Serlio via predicate surface "systematizedBy" ⓘ
Tuscan order Giacomo Barozzi da Vignola via predicate surface "systematizedBy" ⓘ
linked to: Vignola
Tuscan order Andrea Palladio via predicate surface "systematizedBy" ⓘ
universal intelligence measure infinite sum over all computable environments via predicate surface "formalizedAs" ⓘ
Cauchy convergence criterion epsilon–N definition via predicate surface "formalizedBy" ⓘ
Bayesian networks Judea Pearl via predicate surface "formalizedBy" ⓘ
Chapter 11 – Executive and Judiciary Printing and Binding positive law title component via predicate surface "codificationForm" ⓘ