has alternative form – P139

P139 has alternative form

Domain:

Quantification:

No quantifiers yet.

Scope note:

This property establishes a relationship of equivalence between two instances of E41 Appellation independent from any item identified by them. It is a dynamic asymmetric relationship, where the range expresses the derivative, if such a direction can be established. Otherwise, the relationship is symmetric. The relationship is not transitive. The equivalence applies to all cases of use of an instance of E41 Appellation. Multiple names assigned to an object, which are not equivalent for all things identified with a specific instance of E41 Appellation, should be modelled as repeated values of P1 is identified by (identifies). P139.1 has type allows the type of derivation, such as “transliteration from Latin 1 to ASCII” be refined..

Examples:

No example yet.

In First Order Logic:

  • P139(x,y) ⊃ E41(x)
  • P139(x,y) ⊃ E41(y)
  • P139(x,y) ⊃ topObjectProperty(x,y)

Scope Notes

Show Scope note Language Namespace View details and comments
This property establishes a relationship of equivalence between two instances of E41 Appellation independent from any item identified by them. It is a dynamic asymmetric relationship, where the range expresses the derivative, if such a direction can be established. Otherwise, the relationship is symmetric. The relationship is not transitive. The equivalence applies to all cases of use of an instance of E41 Appellation. Multiple names assigned to an object, which are not equivalent for all things identified with a specific instance of E41 Appellation, should be modelled as repeated values of P1 is identified by (identifies). P139.1 has type allows the type of derivation, such as “transliteration from Latin 1 to ASCII” be refined.. en WIP

Examples

Show Example Language Namespace View details and comments

Additional notes

Show Notes Language Namespace View details and comments

Domain and range

E41 Appellation → P139 has alternative form → E41 Appellation

Labels

Label Language Last updated View details and comments
hat alternative Form de 2018-09-14
έχει εναλλακτική μορφή el 2018-09-14
has alternative form en 2018-09-14
a pour autre forme fr 2018-09-14
tem forma alternativa pt 2018-09-14
имеет альтернативную форму ru 2018-09-14
有替代称号 zh 2018-09-14

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2019-03-28

Parent properties

Property identifier Justification Root namespace View association
topObjectProperty The OWL 2 Schema vocabulary

Ancestor properties

Property identifier Depth Root namespace

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments