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
Examples
Additional notes
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
: Standard label for this language
Comments
No comment found.