default [Macro]

Purpose

The default macro specifies that a default implication holds between two concepts. This macro allows new defaults to be incrementally added to previously-defined concepts.

Syntax

default antecedent consequent

Arguments

The antecedent and consequent arguments are concept-forming expressions (see defconcept Remarks).

Value

The antecedent concept is returned.

Examples

(default Quaker Pacifist) ==> |C|QUAKER 
(default (:satisfies (?x) (friend Joe ?x)) 
         Famous) ==> |C|THING_1 
(default (:filled-by speaks 'Portuguese) 
         (:or Portuguese Brazilian)) ==> |C|THING_2

default [Macro]

Purpose

Syntax

Arguments

Value

Examples

See Also