implies

1,708 triples
GPTKB property

Alternative names (10)
hasImplication hasImplicationFor hasImplicationsFor implica implicates implication implied impliedBy impliesExistenceOf imply

Random triples
Subject Object
gptkb:T4_separation_axiom gptkb:T3_separation_axiom
gptkb:Sahlqvist_theorem Sahlqvist formulas are complete
gptkb:strongly_compact_cardinal measurable cardinal
gptkb:Cauchy_integral_formula analytic functions are infinitely differentiable
gptkb:Normative_relativism Moral judgments depend on cultural context
gptkb:perfectly_normal_Hausdorff completely regular
gptkb:Emeritus_Member continued association
gptkb:infinite_pigeonhole_principle there is no finite upper bound on the size of at least one subset in a finite partition of an infinite set
gptkb:Riesz_lemma infinite-dimensional normed spaces are not locally compact
gptkb:Playfair's_axiom parallel postulate
gptkb:Thurston's_hyperbolization_theorem many 3-manifolds are hyperbolic
gptkb:US–China_decoupling national security
gptkb:T_{3.5}_(Tychonoff) Hausdorff space
gptkb:many-one_reduction if B is decidable, then A is decidable
gptkb:Opening_Day_starter team's top pitcher
gptkb:Reinhardt_cardinal_axiom existence of Reinhardt cardinals
gptkb:Borsuk's_antipodal_theorem gptkb:Borsuk–Ulam_theorem
gptkb:Unholy_Alliance_(political_term) temporary cooperation
gptkb:weak_cosmic_censorship_hypothesis naked singularities do not occur in nature
gptkb:Eternalism Temporal passage is an illusion