#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.