has part (forms part of) – TXP17
TXP17 has part (forms part of)
Domain:
Quantification:
0,1:0,n
Subproperty of:
Scope note:
This property associates an instance of TX12 Grapheme Sequence with another instance of TX12 Grapheme Sequence appearing at a particular position of the sequence. The property can be also used by an instance of TX11 Grapheme Occurrence (subclass of TX12 Grapheme Sequence) for denoting that a grapheme occurrence has part another grapheme occurrence. Note that a grapheme occurrence may be a symbolic composite containing another grapheme occurrence, such as the minute character “e” on top of the character “u” in former German writing systems denoting the symbol for “ü”.
Examples:
The “DIVINITATIS” grapheme sequence (TX12), corresponding to the glyph sequence of the inscription (TX1) on the Arch of Constantine, has part the “AT” grapheme sequence (TX12) [which appears to be damaged].
In First Order Logic:
- TXP17(x,y) ⇒ TX12(x)
- TXP17(x,y) ⇒ TX12(y)
- TXP17(x,y) ⇒ P106(x,y)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| This property associates an instance of TX12 Grapheme Sequence with another instance of TX12 Grapheme Sequence appearing at a particular position of the sequence. The property can be also used by an instance of TX11 Grapheme Occurrence (subclass of TX12 Grapheme Sequence) for denoting that a grapheme occurrence has part another grapheme occurrence. Note that a grapheme occurrence may be a symbolic composite containing another grapheme occurrence, such as the minute character “e” on top of the character “u” in former German writing systems denoting the symbol for “ü”. | en | CRMtex version 2.0 | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| The “DIVINITATIS” grapheme sequence (TX12), corresponding to the glyph sequence of the inscription (TX1) on the Arch of Constantine, has part the “AT” grapheme sequence (TX12) [which appears to be damaged]. | en | CRMtex version 2.0 | 0 |
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
Identifier: TXP17
Official URI: http://www.cidoc-crm.org/extensions/crmtex/TXP17_has_part
OntoME URI: https://ontome.net/ontology/p3030
Domain and range
crmtex:TX12 Grapheme Sequence → TXP17 has part (forms part of) → crmtex:TX12 Grapheme Sequence (Quantifiers 0,1:0,n)
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| has part (forms part of) * | en | 2024-09-23 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CRMtex version 2.0 | 2024-09-23 |
| CRMtex version 2.0 ongoing | 2024-09-23 |
Parent properties
| Domain | Property | Range | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| crm:E90 Symbolic Object | (0,n) | P106 is composed of (forms part of) | (0,n) | crm:E90 Symbolic Object | CIDOC CRM version 7.1.3 | CRMtex version 2.0 | 0 |
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|
Comments
No comment found.