implies [Macro]

Purpose

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.

Syntax

implies antecedent consequent

Arguments

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.

Value

The antecedent concept or relation is returned.

Examples

(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

implies [Macro]

Purpose

Syntax

Arguments

Value

Examples

See Also