The Collaborative International Dictionary of English v.0.48:

Imply \Im*ply"\, v. t. [imp. & p. p. Implied; p. pr. & vb. n.
   Implying.] [From the same source as employ. See Employ,
   Ply, and cf. Implicate, Apply.]
   1. To infold or involve; to wrap up. [Obs.] "His head in
      curls implied." --Chapman.
      [1913 Webster]

   2. To involve in substance or essence, or by fair inference,
      or by construction of law, when not include virtually; as,
      war implies fighting.
      [1913 Webster]

            Where a malicious act is proved, a malicious
            intention is implied.                 --Bp.
                                                  Sherlock.
      [1913 Webster]

            When a man employs a laborer to work for him, . . .
            the act of hiring implies an obligation and a
            promise that he shall pay him a reasonable reward
            for his services.                     --Blackstone.
      [1913 Webster]

   3. To refer, ascribe, or attribute. [Obs.]
      [1913 Webster]

            Whence might this distaste arise?
      [1913 Webster]

            If [from] neither your perverse and peevish will.
            To which I most imply it.             --J. Webster.

   Syn: To involve; include; comprise; import; mean; denote;
        signify; betoken. See Involve.
        [1913 Webster]

WordNet (r) 3.0 (2006):

imply
    v 1: express or state indirectly [syn: imply, connote]
    2: suggest as a logically necessary consequence; in logic
    3: have as a logical consequence; "The water shortage means that
       we have to stop taking long showers" [syn: entail, imply,
       mean]
    4: suggest that someone is guilty [syn: incriminate, imply,
       inculpate]
    5: have as a necessary feature; "This decision involves many
       changes" [syn: imply, involve]

The Free On-line Dictionary of Computing (19 January 2023):

implies
implication
imply

    (=> or a thin right arrow) A binary Boolean function
   and logical connective.  A => B is a true implication unless
   A is true and B is false.  The truth table is

    A B | A => B
    ----+-------
    F F |   T
    F T |   T
    T F |   F
    T T |   T

   It is surprising at first that A => B is always true if A is
   false, but if X => Y then we would expect that (X & Z) => Y
   for any Z.

   If A is actually an expression X & Y then the implication is
   called a syllogism.

   (2009-10-28)