|
ENTITY Attribute_assertion SUBTYPE OF (Fact_type); entity_type : STRING; attribute : STRING; END_ENTITY; -- Attribute_assertion |
Entity data types and their attributesFact_typesource: Extent; predicate_symbol: STRING; Attribute_assertion entity_type: STRING; attribute: STRING; |
Users: by entity attributesFact_typeAttribute_assertion Users: by defined types, not used by any entity attributeAttribute_assertion- |
Global rules for this entity data type- |