is membership in – histP16
histP16 is membership in
Domain:
Range:
Quantification:
0,n:1,1
Scope note:
No scope note yet.
Examples:
No example yet.
In First Order Logic:
- histP16(x,y) ⊃ histC12(x)
- histP16(x,y) ⊃ E74(y)
Scope Notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Language | Namespace | View details | Comments |
|---|
Identifier : histP16
Domain and range
histC12 Membership → histP16 is membership in → E74 Group (Quantifiers 0,n:1,1)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| is membership in * | en | 2019-09-27 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing | 2019-11-12 |
Parent properties
| Domain | Property | Range | Justification | Root namespace | View association |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Root namespace |
|---|
Childs and descendant properties
| Domain | Property | Range | Depth | Root namespace |
|---|
Related properties
| Relation | Property | Justification | Defined in namespace | View details |
|---|
Profiles using this class
| Label | Start date | End date | Last updated |
|---|---|---|---|
| Geovistory Generic Historical Information Profile | 2019-11-20 |
Comments
No comment found.