Overview Schemas Index

Production_rule_arm         

ENTITY Rule_condition
          SUBTYPE OF (Atomic_formula);
          positive : BOOLEAN;
END_ENTITY; -- Rule_condition

Entity data types and their attributes

Atomic_formula
          predicate_symbol: predicate_symbol;
          terms: LIST [0:?] OF term_select;
Rule_condition
          positive: BOOLEAN;

Users: by entity attributes

Atomic_formula
Rule_condition
          Back_chaining_rule.body
          Back_chaining_rule.head
          Simple_clause.formulas

Users: by defined types, not used by any entity attribute

Rule_condition
          -

Global rules for this entity data type

          -