termFormalizedBy

P6279
predicate

Indicates that a given term has been formally defined, specified, or codified by a particular formalization (such as a formal theory, document, or system).

Try in SPARQL

All labels observed (9)

Label Occurrences
termDefinedBy 106
formalizedIn 91
formalism 75

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: termFormalizedBy
Generated description
Indicates that a given term has been formally defined, specified, or codified by a particular formalization (such as a formal theory, document, or system).

Sample triples (304)

Subject Object
Chinese Taipei Nagoya Resolution ⓘ
Chinese Taipei International Olympic Committee ⓘ
Newtonian mechanics Lagrangian mechanics via predicate surface "formalism" ⓘ
Newtonian mechanics Hamiltonian mechanics via predicate surface "formalism" ⓘ
Eliashberg theory Green’s function formalism via predicate surface "formalism" ⓘ
Eliashberg theory Matsubara frequency formalism via predicate surface "formalism" ⓘ
S-matrix S = 1 + iT via predicate surface "formalDefinition" ⓘ
Girsanov theorem measure-theoretic probability via predicate surface "formalizedIn" ⓘ
Prince-electors of the Holy Roman Empire 1356 via predicate surface "formalizedIn" ⓘ
Probabilistic Encryption Shafi Goldwasser via predicate surface "wasFormalizedBy" ⓘ
Probabilistic Encryption Silvio Micali via predicate surface "wasFormalizedBy" ⓘ
Probabilistic Encryption 1980s via predicate surface "wasFormalizedIn" ⓘ
County Attorney of McCracken County, Kentucky Kentucky Revised Statutes via predicate surface "termDefinedBy" ⓘ
Rubinstein bargaining model extensive-form game via predicate surface "formalizedIn" ⓘ
Gematria Sefer Yetzirah traditions via predicate surface "formalizedIn" ⓘ
Gematria Zohar via predicate surface "formalizedIn" ⓘ
Secretary of the House of Deputies Constitution and Canons of the Episcopal Church via predicate surface "termDefinedIn" ⓘ
President of the House of Councillors rules of the House of Councillors via predicate surface "termDefinedBy" ⓘ
lambda calculus lambda notation via predicate surface "formalizedIn" ⓘ
Gaussian law of error probability theory via predicate surface "formalizedIn" ⓘ
Noether's isomorphism theorems category of groups via predicate surface "formalism" ⓘ
Noether's isomorphism theorems category of rings via predicate surface "formalism" ⓘ
Noether's isomorphism theorems category of modules via predicate surface "formalism" ⓘ
Standing Committees of dioceses in the Episcopal Church (United States) diocesan canons via predicate surface "termDefinedBy" ⓘ
Hilbert’s irreducibility theorem the language of Hilbertian fields and thin sets via predicate surface "formalizedIn" ⓘ
Red River County Judge Texas Constitution Article V via predicate surface "termDefinedBy" ⓘ
linked to: Texas Constitution
First Secretary of the Communist Party of Cuba Communist Party of Cuba statutes via predicate surface "termDefinedBy" ⓘ
Speaker of the Grand National Assembly of Turkey Turkish law via predicate surface "termDefinedBy" ⓘ
Governor-General of the Bahamas Constitution of the Bahamas via predicate surface "termDefinedBy" ⓘ
linked to: Constitution of the Commonwealth of the Bahamas
President of the First Chamber constitution or parliamentary rules via predicate surface "termDefinedBy" ⓘ
Migdal approximation many-body Green's function theory via predicate surface "formalism" ⓘ
Migdal approximation Feynman diagram expansion via predicate surface "formalism" ⓘ
Gell-Mann–Low theorem operator formalism of quantum field theory via predicate surface "formalism" ⓘ
Osterwalder–Schrader axioms Euclidean path integral via predicate surface "formalism" ⓘ
linked to: Euclidean quantum field theory
Karush–Kuhn–Tucker conditions Lagrangian saddle-point framework via predicate surface "formalizedIn" ⓘ
Principles and Parameters Theory uses phrase structure representations via predicate surface "formalism" ⓘ
Principles and Parameters Theory uses movement operations via predicate surface "formalism" ⓘ
X-bar theory bar-level notation via predicate surface "formalizedIn" ⓘ
Banker's algorithm matrices and vectors via predicate surface "formalizedIn" ⓘ
Northgrippian 2018 via predicate surface "formalizedIn" ⓘ
Meghalayan Holocene subdivision proposal via predicate surface "formalizedIn" ⓘ
Member of Parliament
linked to: Members of Parliament
national law via predicate surface "termDefinedBy" ⓘ
Merkle–Damgård construction Damgård 1989 paper via predicate surface "formalizedIn" ⓘ
Merkle–Damgård construction Merkle 1989 paper via predicate surface "formalizedIn" ⓘ
Kirchhoff's circuit laws linear equations for circuit variables via predicate surface "formalism" ⓘ
United States Attorney for the Western District of Texas federal statute via predicate surface "termDefinedBy" ⓘ
United States Attorney for the District of New Mexico federal statute via predicate surface "termDefinedBy" ⓘ
United States Attorney for the District of the Northern Mariana Islands federal law via predicate surface "termDefinedBy" ⓘ
Governor-General national constitution via predicate surface "termDefinedBy" ⓘ
Status Quo of the Holy Places 1852 via predicate surface "formalizedIn" ⓘ