About: http://dbpedia.org/class/yago/Lemmas

Property	Value
rdfs:label	lemma
rdfs:subClassOf	http://dbpedia.org/class/yago/Lemma106751833
is rdf:type of	dbpedia:Five_lemma dbpedia:Lovász_local_lemma dbpedia:Nine_lemma dbpedia:Snake_lemma dbpedia:Factorization_lemma dbpedia:Fixed-point_lemma_for_normal_functions dbpedia:Morse-Palais_lemma dbpedia:Pumping_lemma dbpedia:Craig_interpolation dbpedia:Schwarz_lemma dbpedia:Woodbury_matrix_identity dbpedia:Covering_lemma dbpedia:Delta_lemma dbpedia:Diagonal_lemma dbpedia:Estimation_lemma dbpedia:Fundamental_lemma_of_calculus_of_variations dbpedia:Littlewood-Offord_problem dbpedia:Summation_by_parts dbpedia:Nakayama_lemma dbpedia:Aubin-Lions_lemma dbpedia:Crossing_number dbpedia:Expander_mixing_lemma dbpedia:Margulis_lemma dbpedia:Mostowski_collapse_lemma dbpedia:Bramble-Hilbert_lemma dbpedia:Dynkin_system dbpedia:Morse_theory dbpedia:Yoneda_lemma dbpedia:Fitting_lemma dbpedia:Noether_normalization_lemma dbpedia:Horseshoe_lemma dbpedia:Kalman-Yakubovich-Popov_lemma dbpedia:Tube_lemma dbpedia:Levi_lemma dbpedia:Piling-up_lemma dbpedia:Short_five_lemma dbpedia:Splitting_lemma dbpedia:Szemerédi_regularity_lemma dbpedia:Artin-Rees_lemma dbpedia:Borel-Cantelli_lemma dbpedia:Knaster-Kuratowski-Mazurkiewicz_lemma dbpedia:Rasiowa-Sikorski_lemma dbpedia:Stewart-Walker_lemma dbpedia:Pumping_lemma_for_context-free_languages dbpedia:Robbins_lemma dbpedia:Zassenhaus_lemma dbpedia:Danielson-Lanczos_lemma dbpedia:Pumping_lemma_for_regular_languages dbpedia:Feld-Tai_lemma dbpedia:Lax-Milgram_lemma dbpedia:Riemann-Lebesgue_lemma dbpedia:Fodor's_lemma dbpedia:Grönwall's_inequality dbpedia:Lebesgue's_lemma dbpedia:Gauss's_lemma dbpedia:Gauss's_lemma_(number_theory) dbpedia:Farkas'_lemma dbpedia:Hotelling's_lemma dbpedia:Kronecker's_lemma dbpedia:Fatou's_lemma dbpedia:Schreier's_subgroup_lemma dbpedia:Sard's_lemma dbpedia:Borel's_lemma dbpedia:Hensel's_lemma dbpedia:Zolotarev's_lemma dbpedia:Mautner's_lemma dbpedia:Dynkin's_lemma dbpedia:Céa's_lemma dbpedia:Slepian's_lemma dbpedia:Spijker's_lemma dbpedia:Grün's_lemma dbpedia:Malliavin's_absolute_continuity_lemma dbpedia:Bézout's_identity dbpedia:König's_lemma dbpedia:Itō's_lemma dbpedia:Burnside's_lemma dbpedia:Sperner's_lemma dbpedia:Euclid's_lemma dbpedia:Little's_lemma dbpedia:Ogden's_lemma dbpedia:Higman's_lemma dbpedia:Hua's_lemma dbpedia:Goursat's_lemma dbpedia:Dwork's_lemma dbpedia:Frattini's_argument dbpedia:Lindelöf's_lemma dbpedia:Lindenbaum's_lemma dbpedia:Ehrling's_lemma dbpedia:Abhyankar's_lemma dbpedia:Urysohn's_lemma dbpedia:Zorn's_lemma dbpedia:Dickson's_lemma dbpedia:Shephard's_lemma dbpedia:Gauss's_lemma_(polynomial) dbpedia:Hartogs'_lemma dbpedia:Dehn's_lemma dbpedia:Riesz's_lemma dbpedia:Newman's_lemma dbpedia:Mazur's_lemma dbpedia:Weyl's_lemma_(Laplace_equation) dbpedia:Bhaskara's_lemma dbpedia:Siegel's_lemma dbpedia:Varadhan's_lemma dbpedia:Pugh's_closing_lemma