has part (forms part of) – TXP17

TXP17 has part (forms part of)

Quantification:

0,1:0,n

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

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments