| Own Slots | ||
|---|---|---|
| Slot Name | Value | |
 |
:DIRECT-TYPE | :PAL-CONSTRAINT |
|
:NAME | EAS_Meta_Model_Instance_0 |
|
:PAL-DESCRIPTION | Each EAS artefact must have a unique name. This name is not the same as the instance ID |
|
:PAL-NAME | unique_EAS_class_name |
|
:PAL-RANGE | (defrange ?eas_class :FRAME EAS_Class) |
|
:PAL-STATEMENT | (forall ?eas_class (not (slot-has-duplicate-values name ?eas_class)) ) |
^ back to top