has expression type – histP22
histP22 has expression type
Domain:
Range:
Subproperty of:
Quantification:
No quantifiers yet.
Scope note:
Associates an expression with the type which defines its identity
Examples:
No example yet.
In First Order Logic:
- histP22(x,y) ⊃ F2(x)
- histP22(x,y) ⊃ histC21(y)
- histP22(x,y) ⊃ P2(x,y)
Scope Notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| Associates an expression 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 : histP22
Domain and range
F2 Expression → histP22 has expression type → histC21 Expression type
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| has expression type * | en | 2018-11-16 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CIDOC CRM Generic Extension for Historical Data Management and Interoperability, v. 0.1 ongoing | 2019-09-25 |
Parent properties
| Domain | Property | Range | Justification | Root namespace | View association | ||
|---|---|---|---|---|---|---|---|
| CRM Entity – E1 | (0,n) | P2 has type | (0,n) | Type – E55 |
|
CIDOC CRM |
Ancestor properties
| Domain | Property | Range | Depth | Root namespace | ||
|---|---|---|---|---|---|---|
| Thing | topObjectProperty | Thing | 2 | The OWL 2 Schema vocabulary |
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 |
|---|---|---|---|
| READ-IT | 2019-09-16 | ||
| Geovistory Basics | 2019-09-03 | ||
| Geovistory Generic Historical Information Profile | 2019-09-28 |
Comments
No comment found.