isFormalizedBy
P8407
predicate
Indicates that something is given a defined, structured, or official form through a specific method, process, or representation.
All labels observed (11)
| Label | Occurrences |
|---|---|
| formalizedBy | 81 |
| formalizedAs | 29 |
| systematizedBy | 19 |
| codificationForm | 4 |
| isFormalizedBy canonical | 3 |
| formalRecognitionMethod | 2 |
| hasFormalization | 2 |
| madeRigorousBy | 2 |
| formalisedUnder | 1 |
| formationLaw | 1 |
| separateCrownFormalisedBy | 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: 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 |
|---|---|
| Title V – Miscellaneous Provisions | public law title via predicate surface "codificationForm" ⓘ |
|
Clear
surface form:
Clear (Scientology)
|
Clear cognition via predicate surface "formalRecognitionMethod" ⓘ |
|
Clear
surface form:
Clear (Scientology)
|
Clear attest via predicate surface "formalRecognitionMethod" ⓘ |
| Poisson geometry | Poisson manifold via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Poisson geometry | Poisson algebra via predicate surface "formalizedBy" NERFINISHED ⓘ |
| passivity theorem | storage function inequality via predicate surface "formalizedBy" ⓘ |
| passivity theorem | supply rate via predicate surface "formalizedBy" ⓘ |
| Kemeny–Young method | optimization problem over permutations via predicate surface "formalizedAs" ⓘ |
| alpha–beta pruning | John McCarthy via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Brauer–Manin obstruction | Brauer–Manin set via predicate surface "formalizedAs" NERFINISHED ⓘ |
| Scott continuity | continuity with respect to the Scott topology via predicate surface "formalizedAs" ⓘ |
| Bayes rules | Leonard J. Savage via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Bayes rules | Abraham Wald via predicate surface "formalizedBy" NERFINISHED ⓘ |
| zk-SNARKs | non-interactive argument system in the common reference string model via predicate surface "formalizedAs" ⓘ |
| Solomonoff induction | universal semimeasure M via predicate surface "formalizedAs" NERFINISHED ⓘ |
| geometric algebra | William Kingdon Clifford via predicate surface "formalizedBy" NERFINISHED ⓘ |
| HM type system | Luis Damas via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Coding Theory | Claude Shannon via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Coding Theory | Richard Hamming via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Cauchy net | net (x_i) indexed by a directed set I via predicate surface "formalizedAs" ⓘ |
| Cauchy completeness | Cauchy’s criterion for convergence via predicate surface "formalizedBy" ⓘ |
| Hungarian customary law | István Werbőczy via predicate surface "systematizedBy" NERFINISHED ⓘ |
|
The Matching Law
surface form:
Matching Law
|
Richard J. Herrnstein via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Weil–Deligne group | Pierre Deligne via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Negation | truth tables via predicate surface "formalizedBy" ⓘ |
| Negation | sequent calculi via predicate surface "formalizedBy" ⓘ |
| Negation | natural deduction systems via predicate surface "formalizedBy" ⓘ |
| Negation | Hilbert systems via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Pointblank | Pointblank Directive via predicate surface "formalizedBy" NERFINISHED ⓘ |
|
infinity
surface form:
Infinity
|
set theory via predicate surface "formalizedBy" ⓘ |
|
infinity
surface form:
Infinity
|
calculus via predicate surface "formalizedBy" ⓘ |
|
infinity
surface form:
Infinity
|
measure theory via predicate surface "formalizedBy" ⓘ |
|
infinity
surface form:
Infinity
|
topology via predicate surface "formalizedBy" ⓘ |
|
infinity
surface form:
Infinity
|
model theory via predicate surface "formalizedBy" ⓘ |
| Bahá'í administration | Shoghi Effendi via predicate surface "systematizedBy" NERFINISHED ⓘ |
| bibliometrics | Alan Pritchard via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Arnold diffusion | existence of orbits with unbounded drift in action variables via predicate surface "formalizedAs" ⓘ |
| Galois correspondence | anti-isomorphism of lattices via predicate surface "formalizedAs" ⓘ |
| Galois connection | adjoint functor pair between posets viewed as categories via predicate surface "formalizedAs" ⓘ |
| United States–Bosnia and Herzegovina relations | General Framework Agreement for Peace in Bosnia and Herzegovina via predicate surface "formalizedBy" NERFINISHED ⓘ |
| United States–Bosnia and Herzegovina relations | Dayton Accords via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Asuka Kiyomihara Code | written code via predicate surface "codificationForm" ⓘ |
| Chow groups | Alexander Grothendieck via predicate surface "formalizedBy" NERFINISHED ⓘ |
| Weishi school | Xuanzang via predicate surface "systematizedBy" NERFINISHED ⓘ |
| Weishi school | Kuiji via predicate surface "systematizedBy" NERFINISHED ⓘ |