|
ENTITY Atomic_formula ABSTRACT SUPERTYPE OF (ONEOF (Rule_condition, Ground_fact)); predicate_symbol : predicate_symbol; terms : LIST [0:?] OF term_select; END_ENTITY; -- Atomic_formula |
Entity data types and their attributesAtomic_formulapredicate_symbol: predicate_symbol; terms: LIST [0:?] OF term_select; |
| Ground_fact (Production_rule_arm) |
| Rule_condition (Production_rule_arm) |
Users: by entity attributesAtomic_formulaUsers: by defined types, not used by any entity attributeAtomic_formula- |
Global rules for this entity data type- |