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 | Type | Language | Namespace | View details | Comments | Validation |
---|
Identifier : ar15
Domain and range
dsitest:AR12 Architectural Event Trigger Template → ar15 requires object outcome → dsitest: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 | Property namespace | Justification | Relation defined in | 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 | Property namespace | Justification | Relation defined in | View details | Edit | Delete | Comments | Validation |
---|
Profiles using this property
Label | Version | Status | Last updated |
---|
Comments
No comment found.