implies

P1661
predicate

Indicates that the truth of one statement guarantees or leads logically to the truth of another statement.

Try in SPARQL

All labels observed (33)

Label Occurrences
implies canonical 2,744
inferredFrom 87
hasImplication 76

Sample triples (3,088)

Subject Object
Chocolate City strong African American political leadership in Washington, D.C. ⓘ
Chocolate City strong African American cultural institutions in Washington, D.C. ⓘ
Nash embedding theorem every abstract Riemannian manifold can be realized as a submanifold of Euclidean space ⓘ
Commerce Clause Commerce Clause via predicate surface "hasImpliedConcept" self-linksurface differs ⓘ
surface form: dormant Commerce Clause
Original sin universal sinfulness of human beings ⓘ
Original sin need for divine grace ⓘ
Original sin inability of humans to save themselves ⓘ
Original sin necessity of salvation through Christ ⓘ
Original sin inclination of humans toward sin ⓘ
Original sin spiritual death ⓘ
FLRW cosmological models Hubble–Lemaître law on large scales ⓘ
Einstein coefficients existence of stimulated emission via predicate surface "imply" ⓘ
Charles Lyell 19th-century Scottish geologist description via predicate surface "inferredFrom" ⓘ
Uncle Joe paternal image ⓘ
Uncle Joe folksy familiarity ⓘ
Filioque clause in the Nicene Creed the concept of the monarchy of the Father via predicate surface "implicates" ⓘ
Filioque clause in the Nicene Creed the relationship between economic and immanent Trinity via predicate surface "implicates" ⓘ
A Chicken in Every Pot and a Car in Every Garage widespread economic well-being ⓘ
A Chicken in Every Pot and a Car in Every Garage rising standard of living ⓘ
A Chicken in Every Pot and a Car in Every Garage affordability of consumer goods ⓘ
Hilbert spaces
surface form: Hilbert space
norm via the inner product via predicate surface "induces" ⓘ
The Royal Road state control of route ⓘ
The Royal Road strategic importance ⓘ
Third World marginalization in global power structures ⓘ
Third World economic underdevelopment ⓘ
Third World political dependency ⓘ
Tritheism three separate divine essences ⓘ
Tritheism plurality of gods within Christian framework ⓘ
Kakutani fixed-point theorem fixed point of a correspondence via predicate surface "impliesExistenceOf" ⓘ
implicit function theorem inverse function theorem in special cases ⓘ
Janet–Cartan theorem local realization of analytic Riemannian metrics as induced metrics from Euclidean space ⓘ
Huygens–Fresnel principle light behaves as a wave ⓘ
Incarnation of Christ God’s solidarity with humanity ⓘ
Incarnation of Christ possibility of deification or theosis in some traditions ⓘ
Lord authority of Christ over believers ⓘ
Lord kingship of Christ ⓘ
Lord ownership of Christ over the Church ⓘ
binomial theorem entries of Pascal's triangle are binomial coefficients ⓘ
binomial theorem Σ_{k=0}^n C(n,k) = 2^n via predicate surface "impliesIdentity" ⓘ
binomial theorem Σ_{k=0}^n (-1)^k C(n,k) = 0 for n > 0 via predicate surface "impliesIdentity" ⓘ
binomial theorem Σ_{k=0}^n k C(n,k) = n 2^{n-1} via predicate surface "impliesIdentity" ⓘ
binomial theorem Σ_{k=0}^n k^2 C(n,k) = n(n+1)2^{n-2} via predicate surface "impliesIdentity" ⓘ
Franck–Condon principle nuclei are effectively fixed during an electronic transition ⓘ
Franck–Condon principle most probable transitions are vertical on a potential energy diagram ⓘ
Bekenstein–Hawking entropy information content of a black hole scales with area not volume ⓘ
Seal of the Prophets closure of prophetic office via predicate surface "hasImplication" ⓘ
Seal of the Prophets authority of Muhammad’s message for Muslims via predicate surface "hasImplication" ⓘ
Newtonian absolute time simultaneity is absolute ⓘ
Newtonian absolute time time intervals are invariant between observers ⓘ
Newtonian absolute time no relativity of simultaneity ⓘ