satisfies

351 triples

GPTKB property

achieves • complies with • fulfills • holdsFor • satisfiedBy • satisfiesCriterion • satisfy

Subject	Object
gptkb:Kelvin_Hughes_navigation_radar	IMO standards
gptkb:Hauptvermutung	2-dimensional manifolds
gptkb:higher_Chow_groups	homotopy invariance
gptkb:HID_access_cards	gptkb:ISO/IEC_15693
gptkb:Jesus_Christ_as_High_Priest	Old Testament priestly types
gptkb:Wasserstein-1_distance	identity of indiscernibles
gptkb:Monoid_in_category_theory	unit axiom
gptkb:Lie_operad	Jacobi identity
gptkb:constructible_universe	gptkb:Zermelo-Fraenkel_set_theory
gptkb:CHSH_inequality	local hidden variable theories
gptkb:compact_Riemann_surfaces	gptkb:Uniformization_theorem
gptkb:Hamming_metric	identity of indiscernibles
gptkb:Legendre_functions	recurrence relations
gptkb:Cartan_matrix_of_type_A_n	indecomposable
gptkb:Stiefel–Whitney_classes	w_i = 0 for i > n (n = rank of bundle)
gptkb:Moufang_loops	Moufang identities
gptkb:confluent_hypergeometric_function_of_the_second_kind	gptkb:confluent_hypergeometric_differential_equation
gptkb:Ranked_Pairs	independence of irrelevant alternatives (in some cases)
gptkb:R-Matrix	Yang-Baxter equation
gptkb:Schwinger_functions	gptkb:Osterwalder–Schrader_axioms