satisfies

P4233
predicate

Indicates that one entity meets, fulfills, or complies with the requirements, conditions, or expectations specified by another.

Try in SPARQL

All labels observed (18)

Label Occurrences
satisfies canonical 339
satisfy 29
satisfiesAxiom 18

Sample triples (443)

Subject Object
Shannon entropy chain rule for entropy ⓘ
Shannon entropy Shannon–Khinchin axioms ⓘ
Triumphal Entry into Jerusalem Zechariah 9:9 via predicate surface "fulfillsProphecy" ⓘ
Triumphal Entry into Jerusalem Psalm 118:25–26 via predicate surface "fulfillsProphecy" ⓘ
Bekenstein–Hawking entropy generalized second law of thermodynamics ⓘ
Langevin dynamics fluctuation–dissipation theorem ⓘ
Maxwell's equations Lorentz invariance ⓘ
Lorentz transformation Lorentz invariance of physical laws ⓘ
Rényi entropy data-processing inequality for appropriate α ⓘ
Tsallis entropy generalized H-theorem in nonextensive framework ⓘ
Einstein tensor \nabla_{\mu} G^{\mu}{}_{\nu} = 0 via predicate surface "satisfiesIdentity" ⓘ
Kerr metric vacuum Einstein equations R_{μν} = 0 ⓘ
Reissner–Nordström metric vacuum Einstein equations with electromagnetic stress-energy tensor ⓘ
von Neumann universe Zermelo–Fraenkel set theory ⓘ
surface form: Zermelo–Fraenkel set theory (ZF) under suitable assumptions
von Neumann universe Zermelo–Fraenkel set theory ⓘ
surface form: Zermelo–Fraenkel set theory with Choice (ZFC) under suitable assumptions
Flight into Egypt Hosea 11:1 via predicate surface "fulfillsProphecy" ⓘ
Burial of Jesus Isaiah 53:9 via predicate surface "fulfills" ⓘ
Burial of Jesus Psalm 16:10 via predicate surface "fulfills" ⓘ
Dirac equation principle of special relativity ⓘ
Dirac equation Lorentz invariance ⓘ
Euclidean space parallelogram law ⓘ
Euclidean space Pythagorean theorem ⓘ
Euclidean space triangle inequality ⓘ
Levi-Civita connection metric-compatibility condition ∇g = 0 ⓘ
Levi-Civita connection torsion tensor T = 0 ⓘ
Levi-Civita connection Leibniz rule for covariant derivative ⓘ
Levi-Civita connection linearity in vector field arguments ⓘ
Levi-Civita connection tensoriality in lower argument ⓘ
Riemann curvature tensor first Bianchi identity ⓘ
Riemann curvature tensor Bianchi identities ⓘ
surface form: second Bianchi identity
Davidson College yes via predicate surface "meetsFullNeed" ⓘ
Kalai–Smorodinsky bargaining solution symmetry axiom ⓘ
Kalai–Smorodinsky bargaining solution individual rationality axiom ⓘ
Kalai–Smorodinsky bargaining solution Pareto efficiency axiom ⓘ
Kalai–Smorodinsky bargaining solution invariance to affine transformations axiom ⓘ
Kalai–Smorodinsky bargaining solution monotonicity axiom ⓘ
construction of the regular 17-gon with straightedge and compass n is product of a power of 2 and distinct Fermat primes via predicate surface "satisfiesCriterion" ⓘ
Surreal numbers every left element is less than every right element via predicate surface "satisfiesCondition" ⓘ
Conway polynomial skein relation ∇(L₊) − ∇(L₋) = z ∇(L₀) ⓘ
Gell-Mann matrices su(3) commutation relations via predicate surface "satisfy" ⓘ
Gell-Mann matrices Gell-Mann matrices via predicate surface "satisfy" self-linksurface differs ⓘ
surface form: [λ_a, λ_b] = 2 i f_{abc} λ_c
Gell-Mann matrices {λ_a, λ_b} = 4/3 δ_{ab} I + 2 d_{abc} λ_c via predicate surface "satisfy" ⓘ
Bardeen black hole model weak energy condition in certain parameter ranges ⓘ
Bardeen black hole model Einstein field equations with nonlinear electrodynamics source ⓘ
Rényi divergence D_α(P‖Q) ≥ 0 ⓘ
Kerr–Newman black hole no-hair theorem parameters mass, charge, angular momentum ⓘ
Riemann integral linearity ⓘ
Riemann integral additivity over intervals ⓘ
Riemann integral monotonicity ⓘ
Riemann integral absolute value inequality ⓘ