#proposition  (logic) a statement that affirms or denies something and is either true or false
  supertype:  statement  a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc; "according to his statement he was in London on that day"
  part:  term.grammatical_constituent
  subtype:  converse  (logic) a proposition obtained by conversion
  subtype:  lemma  a subsidiary proposition that is assumed to be true in order to prove another proposition
  subtype:  theorem  a proposition deducible from basic postulates
     subtype:  binomial_theorem  a theorem giving the expansion of a binomial raised to a given power
  subtype:  conclusion.proposition  the proposition that must follow from the major and minor premises of a syllogism
  subtype:  postulate__posit  (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
     subtype:  premise__premiss__premis  a statement that is assumed to be true and from which a conclusion can be drawn; "on the assumption that he has been injured we can infer that he will not to play"
        subtype:  major_premise__majorpremise__major_premiss__majorpremis  the premise of a syllogism that contains the major term (which is the predicate of the conclusion)
        subtype:  minor_premise__minorpremise__minor_premiss__minorpremis  the premise of a syllogism that contains the minor term (which is the subject of the conclusion)
        subtype:  thesis  an unproved statement put forward as a premise in an argument
        subtype:  condition.premise__precondition__stipulation  an assumption on which rests the validity or effect of something else
           subtype:  boundary_condition  (math) a condition specified for the solution to a set of differential equations
           subtype:  proviso__provision  a stipulated condition; "he accepted subject to one provision"
  subtype:  axiom  (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident

No statement uses or specializes proposition; click here to add one.