satisfies
P4233
predicate
Indicates that one entity meets, fulfills, or complies with the requirements, conditions, or expectations specified by another.
Aliases (9)
- fulfillsProphecy ×3
- satisfy ×3
- fulfills ×2
- meetsFullNeed ×1
- satisfiesCondition ×1
- satisfiesCriterion ×1
- satisfiesEnergyConditions ×1
- satisfiesIdentity ×1
- satisfyProperty ×1
Sample triples (63)
| Subject | Object |
|---|---|
| Bardeen black hole model | Einstein field equations with nonlinear electrodynamics source → |
| Bardeen black hole model | weak energy condition in certain parameter ranges → |
| Bekenstein–Hawking entropy | generalized second law of thermodynamics → |
| Burial of Jesus | Isaiah 53:9 ("fulfills") → |
| Burial of Jesus | Psalm 16:10 ("fulfills") → |
| Christoffel symbols | symmetric in lower indices for Levi-Civita connection ("satisfyProperty") → |
| Conway polynomial | skein relation ∇(L₊) − ∇(L₋) = z ∇(L₀) → |
| Davidson College | yes ("meetsFullNeed") → |
| Dirac equation | Lorentz invariance → |
| Dirac equation | principle of special relativity → |
| Einstein tensor | \nabla_{\mu} G^{\mu}{}_{\nu} = 0 ("satisfiesIdentity") → |
| Einstein–Maxwell equations | Bianchi identities through Einstein tensor → |
| Einstein–Maxwell equations | local charge conservation → |
| Einstein–Rosen bridge | yes for classical matter ("satisfiesEnergyConditions") → |
| Euclidean space | Pythagorean theorem → |
| Euclidean space | parallelogram law → |
| Euclidean space | triangle inequality → |
| Flight into Egypt | Hosea 11:1 ("fulfillsProphecy") → |
| Gell-Mann matrices | [λ_a, λ_b] = 2 i f_{abc} λ_c ("satisfy") → |
| Gell-Mann matrices | su(3) commutation relations ("satisfy") → |
| Gell-Mann matrices | {λ_a, λ_b} = 4/3 δ_{ab} I + 2 d_{abc} λ_c ("satisfy") → |
| Itô process | stochastic differential equation → |
| Kalai–Smorodinsky bargaining solution | Pareto efficiency axiom → |
| Kalai–Smorodinsky bargaining solution | individual rationality axiom → |
| Kalai–Smorodinsky bargaining solution | invariance to affine transformations axiom → |
| Kalai–Smorodinsky bargaining solution | monotonicity axiom → |
| Kalai–Smorodinsky bargaining solution | symmetry axiom → |
| Kerr metric | vacuum Einstein equations R_{μν} = 0 → |
| Kerr–Newman black hole | no-hair theorem parameters mass, charge, angular momentum → |
| Langevin dynamics | fluctuation–dissipation theorem → |
| Levi-Civita connection | Leibniz rule for covariant derivative → |
| Levi-Civita connection | linearity in vector field arguments → |
| Levi-Civita connection | metric-compatibility condition ∇g = 0 → |
| Levi-Civita connection | tensoriality in lower argument → |
| Levi-Civita connection | torsion tensor T = 0 → |
| Lorentz transformation | Lorentz invariance of physical laws → |
| Maxwell's equations | Lorentz invariance → |
| Reissner–Nordström metric | vacuum Einstein equations with electromagnetic stress-energy tensor → |
| Riemann curvature tensor | first Bianchi identity → |
| Riemann curvature tensor | second Bianchi identity → |
| Riemann integral | absolute value inequality → |
| Riemann integral | additivity over intervals → |
| Riemann integral | linearity → |
| Riemann integral | monotonicity → |
| Riemann–Liouville integral | semigroup property in the order α under suitable conditions → |
| Rényi divergence | D_α(P‖Q) ≥ 0 → |
| Rényi entropy | data-processing inequality for appropriate α → |
| Salam–Weinberg model | gauge invariance → |
| Schwinger functions | Euclidean invariance → |
| Schwinger functions | Osterwalder–Schrader axioms → |
| Schwinger functions | cluster decomposition property → |
| Schwinger functions | reflection positivity → |
| Schwinger functions | symmetry under permutations of arguments → |
| Shannon entropy | Shannon–Khinchin axioms → |
| Shannon entropy | chain rule for entropy → |
| Surreal numbers | every left element is less than every right element ("satisfiesCondition") → |
| Triumphal Entry into Jerusalem | Psalm 118:25–26 ("fulfillsProphecy") → |
| Triumphal Entry into Jerusalem | Zechariah 9:9 ("fulfillsProphecy") → |
| Tsallis entropy | generalized H-theorem in nonextensive framework → |
| Wigner distribution function | correct classical limit for large quantum numbers → |
| construction of the regular 17-gon with straightedge and compass | n is product of a power of 2 and distinct Fermat primes ("satisfiesCriterion") → |
| von Neumann universe | Zermelo–Fraenkel set theory (ZF) under suitable assumptions → |
| von Neumann universe | Zermelo–Fraenkel set theory with Choice (ZFC) under suitable assumptions → |