has right or obligation type (is type of) – P32
P32 has right or obligation type (is type of)
Domain:
Range:
Subproperty of:
Quantification:
0,n:0,1
Scope note:
Associates a C17 Right or obligation instance with the type which defines its identity.
Examples:
No example yet.
In First Order Logic:
- P32(x,y) ⊃ C17(x)
- P32(x,y) ⊃ C21(y)
- P32(x,y) ⊃ P2(x,y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
Associates a C17 Right or obligation instance with the type which defines its identity. | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : P32
Domain and range
C17 Right or obligation → P32 has right or obligation type (is type of) → C21 Right or obligation type (Quantifiers 0,n:0,1)
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
has right or obligation type (is type of) * | en | 2020-12-10 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
Social, legal and economic life (SDHSS) ongoing | 2021-04-16 |
Parent properties
Domain | Property | Range | Justification | Relation namespace | View details | Comments | ||
---|---|---|---|---|---|---|---|---|
CRM Entity – E1 | (0,n) | P2 has type (is type of) | (0,n) | Type – E55 |
|
Social, legal and economic life (SDHSS) ongoing | 0 |
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 | Comments |
---|
Profiles using this class
Label | Start date | End date | Last updated |
---|---|---|---|
Law, rights, obligations | 2021-03-31 |
Comments
No comment found.