has carrier provided by (provides carrier to) – P5

This property does not yet have the minimum number of validated parts required for publication.

P5 has carrier provided by (provides carrier to)

Quantification:

1,1:1,1

Scope note:

[to be improved] In the Geovistory namespace, this property associates a F2 Expression with the specific F5 Item in which it's found as carrier of this new expression wchihc is added, e.g. manuscript notes of a reader in a book. This expression is therefore independent from the Expression printed in the book conceived as a Manifestation Product Type. This kind of items contains two or more expressions: e.g. the one of the book and the ones of the readers.

Examples:

No example yet.

In First Order Logic:

  • P5(x,y) ⇒ F2(x)
  • P5(x,y) ⇒ F5(y)

Scope notes

Examples

Additional notes

Identifier: P5

Official URI: https://ontome.net/ns/geovistory/P5
OntoME URI: https://ontome.net/ontology/p1316

Domain and range

frbroo:F2 Expression → P5 has carrier provided by (provides carrier to) → frbroo:F5 Item  (Quantifiers 1,1:1,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments