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.