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
Grothendieck topology collection of covering sieves satisfying axioms via predicate surface "formalizedAs" ⓘ
Reichenbach synchronization schemes family of coordinate transformations preserving two-way light speed via predicate surface "formalizedAs" ⓘ
Hebbian learning weight change proportional to product of pre- and postsynaptic activities via predicate surface "formalizedAs" ⓘ
Dehn algorithm rewriting system on words in group generators via predicate surface "formalizedAs" ⓘ
Condorcet paradox pairwise majority relation via predicate surface "formalizedBy" ⓘ
Gibbs ensemble Josiah Willard Gibbs via predicate surface "formalizedBy" ⓘ
lectio divina Guigo II via predicate surface "systematizedBy" ⓘ
wavefunction collapse projection operator on Hilbert space via predicate surface "formalizedBy" ⓘ
wavefunction collapse von Neumann measurement scheme via predicate surface "formalizedBy" ⓘ
surface form: von Neumann projection postulate
complementarity principle Bohr–Einstein debates via predicate surface "formalizedBy" ⓘ
surface form: Bohr’s writings after the 1927 Solvay Conference
Conducător decree via predicate surface "formalizedBy" ⓘ
ECP condition on traces being properly governed via predicate surface "formalizedAs" ⓘ
India–Japan strategic partnership India–Japan strategic partnership via predicate surface "formalizedAs" self-linksurface differs ⓘ
surface form: Special Strategic and Global Partnership
Christian angelology Pseudo-Dionysius the Areopagite via predicate surface "systematizedBy" ⓘ
Christian angelology St. Thomas Aquinas via predicate surface "systematizedBy" ⓘ
surface form: Thomas Aquinas
Ripuarian law written code via predicate surface "codificationForm" ⓘ
Kileler municipality Kallikratis reform via predicate surface "formationLaw" ⓘ
surface form: Kallikratis reform law
Pyrrhonian skepticism Aenesidemus via predicate surface "systematizedBy" ⓘ
Pyrrhonian skepticism Sextus Empiricus via predicate surface "systematizedBy" ⓘ
theory of marginal utility utility functions via predicate surface "formalizedBy" ⓘ
theory of marginal utility marginal utility functions via predicate surface "formalizedBy" ⓘ
Finite Operator Calculus Gian-Carlo Rota via predicate surface "formalizedBy" ⓘ
Non-Euclidean Geometry
surface form: Non-Euclidean geometry
axiomatic systems via predicate surface "formalizedBy" ⓘ
Furongian International Commission on Stratigraphy via predicate surface "formalizedBy" ⓘ
’t Hooft anomaly
surface form: 't Hooft anomaly
’t Hooft anomaly matching condition via predicate surface "formalizedBy" ⓘ
First Welfare Theorem Arrow–Debreu 1954 existence theorem via predicate surface "formalizedBy" NERFINISHED ⓘ
Euclidean geometry Hilbert's axioms via predicate surface "formalizedBy" NERFINISHED ⓘ
Dirichlet principle David Hilbert via predicate surface "madeRigorousBy" NERFINISHED ⓘ
Dirichlet principle Henri Poincaré via predicate surface "madeRigorousBy" NERFINISHED ⓘ
Rama–Sugriva pact exchange of vows before sacred fire in some retellings via predicate surface "formalizedBy" ⓘ
Hesychasm Gregory Palamas via predicate surface "systematizedBy" NERFINISHED ⓘ
Partzufim (divine personae)
surface form: Partzufim
school of Isaac Luria via predicate surface "systematizedBy" NERFINISHED ⓘ
Representations of groups functors from a group to the category of vector spaces via predicate surface "formalizedAs" ⓘ
al-‘alam al-mithali (imaginal world)
surface form: al-‘alam al-mithali
Suhrawardi via predicate surface "systematizedBy" NERFINISHED ⓘ
Ehresmann connection smooth horizontal distribution complementary to the vertical distribution via predicate surface "formalizedAs" ⓘ
Erdős number concept distance metric on the induced subgraph of authors connected to Pál Erdős via predicate surface "formalizedAs" ⓘ
Cheng-Zhu school Zhu Xi via predicate surface "systematizedBy" NERFINISHED ⓘ
Lipschitz continuity condition there exists L ≥ 0 such that d(f(x), f(y)) ≤ L d(x, y) for all x, y via predicate surface "formalizedAs" ⓘ
St. Petersburg paradox Daniel Bernoulli via predicate surface "formalizedBy" NERFINISHED ⓘ
Kubo–Martin–Schwinger condition C*-algebra theory in the 1960s via predicate surface "formalizedBy" ⓘ
Stokes phenomenon Stokes multipliers via predicate surface "formalizedBy" NERFINISHED ⓘ
Stokes phenomenon connection matrices via predicate surface "formalizedBy" ⓘ
Dedekind cut lower set of Q with no maximum via predicate surface "formalizedAs" ⓘ
wave–particle duality de Broglie wavelength via predicate surface "formalizedBy" NERFINISHED ⓘ
wave–particle duality Schrödinger equation via predicate surface "formalizedBy" NERFINISHED ⓘ
Brahma Sampradaya Madhvacharya via predicate surface "systematizedBy" NERFINISHED ⓘ
Reidemeister moves moves on planar knot diagrams via predicate surface "formalizedAs" ⓘ
Holy See–state relations concordats via predicate surface "formalizedBy" ⓘ
Holy See–state relations treaties via predicate surface "formalizedBy" ⓘ
Holy See–state relations diplomatic agreements via predicate surface "formalizedBy" ⓘ