The implies macro specifies that a strict implication holds between two concepts, or between two relations. This macro allows new implications to be incrementally added to previously-defined concepts and relations.
implies antecedent consequent
The antecedent and consequent arguments are concept-forming expressions (see defconcept Remarks) or relation-forming expressions (see defrelation Remarks). The antecedent and consequent cannot both be relations defined with the :satisfies operator.
The antecedent concept or relation is returned.
(implies Surfer Tan) ==> |C|SURFER
(implies Person (:exactly 2 has-arm)) ==> |C|PERSON
(implies husband (:and love honor cherish)) ==> |R|HUSBAND
(implies (:satisfies (?x ?y) (:and (Positive ?x) (Negative ?y)))
attract) ==> |R|ATTRACT_1
(implies (:and Stress-Test (:some applied-to Ischemic))
(:filled-by risk 'HIGH)) ==> |C|STRESS-TEST_1
Last modified: Dec 28 1995