requires object outcome – ar15
This property does not yet have the minimum number of validated parts required for publication.
ar15 requires object outcome
Quantification:
No quantifiers yet.
Scope note:
This property relates an instance of Event Trigger Template to an instance of Objecter Trigger Template that is specified to be an outcome of the projected event.
Examples:
No example yet.
In First Order Logic:
- ar15(x,y) ⊃ AR12(x)
- ar15(x,y) ⊃ AR11(y)
Scope Notes
| Show | Scope note | Language | Namespace | View details | Comments | Validation |
|---|---|---|---|---|---|---|
| This property relates an instance of Event Trigger Template to an instance of Objecter Trigger Template that is specified to be an outcome of the projected event. | en | DSI Test ongoing | 0 | Candidate |
Examples
| Show | Example | Language | Namespace | View details | Comments | Validation |
|---|
Additional notes
| Show | Notes | Language | Namespace | View details | Comments | Validation |
|---|
Identifier : ar15
Domain and range
AR12 Architectural Event Trigger Template → ar15 requires object outcome → AR11 Object Trigger Template
Labels
| Label | Language | Last updated | View details | Comments | Validation |
|---|---|---|---|---|---|
| requires object outcome * | en | 2021-06-10 | 0 | Candidate |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| DSI Test ongoing | 2020-10-12 |
Parent properties
| Domain | Property | Range | Justification | Relation namespace | View details | Edit | Delete | Comments | Validation |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Justification | Relation namespace | View details | Edit | Delete | Comments | Validation |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|
Comments
No comment found.