Overview Schemas Index

Production_rule_arm         

ENTITY Fact_type
          ABSTRACT SUPERTYPE OF (ONEOF (Entity_assertion, Attribute_assertion));
          source : Extent;
          predicate_symbol : STRING;
END_ENTITY; -- Fact_type

Entity data types and their attributes

Fact_type
          source: Extent;
          predicate_symbol: STRING;

Known subtypes

          Attribute_assertion (Production_rule_arm)
          Entity_assertion (Production_rule_arm)

Users: by entity attributes

Fact_type

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

Fact_type
          -

Global rules for this entity data type

          -