is realised in (realises) – P35

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

P35 is realised in (realises)

Quantification:

1,1:1,n

Scope note:

This property associates an instance of F2 Expression with an instance of F1 Work.

This property expresses the association that exists between an expression and the work that this expression conveys. Our factual knowledge of how a given work is historically realised into expressions is often limited. Therefore, this property makes it possible to express the association between an instance of F2 Expression and the instance of F1 Work it conveys without identifying the particular instances of F2 Expression that were part of a chain of derivation from the source.

This property is equivalent to lrmoo:R3 is realised in.

Examples:

No example yet.

In First Order Logic:

  • P35(x,y) ⇒ F1(x)
  • P35(x,y) ⇒ F2(y)
  • P35(x,y) ⇒ P130(x,y)

Scope notes

Show Scope note Language Namespace View details Comments Validation
This property associates an instance of F2 Expression with an instance of F1 Work. This property expresses the association that exists between an expression and the work that this expression conveys. Our factual knowledge of how a given work is historically realised into expressions is often limited. Therefore, this property makes it possible to express the association between an instance of F2 Expression and the instance of F1 Work it conveys without identifying the particular instances of F2 Expression that were part of a chain of derivation from the source. This property is equivalent to lrmoo:R3 is realised in. en SDHSS - Propositions, Texts, Intellectual Life ongoing 0 Under revision

Examples

Show Example Language Namespace View details Comments Validation

Additional notes

Show Notes Type Language Namespace View details Comments Validation

Identifier: P35

Official URI: https://ontome.net/ns/intellectual-literary-life/P35
OntoME URI: https://ontome.net/ontology/p2923

Domain and range

frbroo:F1 Work → P35 is realised in (realises) → frbroo:F2 Expression  (Quantifiers 1,1:1,n)

Labels

Label Language Last updated View details Comments Validation
is realised in (realises) * en 2024-07-11 0 Under revision

: Standard label for this language

Namespace

Namespace Last updated
SDHSS - Propositions, Texts, Intellectual Life ongoing 2021-04-28

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments Validation
crm:E70 Thing (0,n) P130 shows features of (features are also found on) (0,n) crm:E70 Thing CIDOC CRM version 6.2 SDHSS - Propositions, Texts, Intellectual Life ongoing 0 Validation request

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 Validation

Profiles using this property

Label Version Status Last updated
Intellectual and literary life 1 Ongoing 2023-10-25

Comments