has partner (is partner in) – P20
P20 has partner (is partner in)
Domain:
Range:
Quantification:
0,n:2,2
Scope note:
This property associates the two (always two) persons participating to the union
Examples:
No example yet.
In First Order Logic:
- P20(x,y) ⊃ C9(x)
- P20(x,y) ⊃ E21(y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
This property associates the two (always two) persons participating to the union | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : P20
Domain and range
C9 Union → P20 has partner (is partner in) → E21 Person (Quantifiers 0,n:2,2)
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
has partner (is partner in) * | en | 2020-01-05 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
Social, legal and economic life (HistDMI) ongoing | 2020-12-10 |
Parent properties
Domain | Property | Range | Justification | Relation namespace | View details | Comments |
---|
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 |
---|---|---|---|
Biographical basics and family | 2020-01-04 | ||
Social interactions of persons | 2020-04-18 |
Comments
Jonas Schneider
Should the quantifiers be 0,n:2,2 instead of 0,n:0,n, since the scope note states explicitly "this property associates the two (alway two) persons…"?
on April 19, 2020 15:54