stipulates part – ar20
This property does not yet have the minimum number of validated parts required for publication.
ar20 stipulates part
Quantification:
No quantifiers yet.
Scope note:
This property associates an instance of Object Trigger Template with another instance of the same class. The property articulates that the projected object specified by the Object Trigger Template should be composed of another projected object which, in turn, has its own specifications.
Examples:
No example yet.
In First Order Logic:
- ar20(x,y) ⊃ AR11(x)
- ar20(x,y) ⊃ AR11(y)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments | Validation |
|---|---|---|---|---|---|---|
| This property associates an instance of Object Trigger Template with another instance of the same class. The property articulates that the projected object specified by the Object Trigger Template should be composed of another projected object which, in turn, has its own specifications. | 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 : ar20
Domain and range
dsitest:AR11 Object Trigger Template → ar20 stipulates part → dsitest:AR11 Object Trigger Template
Labels
| Label | Language | Last updated | View details | Comments | Validation |
|---|---|---|---|---|---|
| stipulates part * | 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.