is warranted by (warrants) – R32
R32 is warranted by (warrants)
Domain:
Range:
Subproperty of:
Quantification:
0,n:0,n
Scope note:
Examples:
No example yet.
In First Order Logic:
- R32(x,y) ⊃ F35(x)
- R32(x,y) ⊃ F52(y)
- R32(x,y) ⊃ P67(x,y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
This property associates an instance of F35 Nomen Use Statement with an instance of F52 Name Use Activity which provides evidence for the use of the particular nomen in the stated sense. The association between this name use activity and a source for it may be described by the property P70 documents (is documented in). | en | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : R32
Domain and range
F35 Nomen Use Statement → R32 is warranted by (warrants) → F52 Name Use Activity (Quantifiers 0,n:0,n)
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
is warranted by (warrants) * | en | 2020-08-31 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
FRBRoo version 2.4 | 2020-09-01 |
Parent properties
Domain | Property | Range | Justification | Relation namespace | View details | Comments | ||
---|---|---|---|---|---|---|---|---|
Propositional Object – E89 | (0,n) | P67 refers to (is referred to by) | (0,n) | CRM Entity – E1 |
|
FRBRoo version 2.4 | 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 |
---|
Comments
No comment found.