uses script conversion – R36

R36 uses script conversion

Quantification:

No quantifiers yet.

Scope note:

This property associates an instance of F35 Nomen Use Statement with the instance of F36 Script Conversion that was used to create the Nomen referred to in the Nomen Use Statement. The source of this conversion may or may not be explicitly mentioned. Is shortcut of: F35 Nomen Use Statement R17 was created by (created) F28 Expression Creation P33 used specific technique (was used by) E29 Design or Procedure.

Examples:

No example yet.

In First Order Logic:

  • R36(x,y) ⊃ F35(x)
  • R36(x,y) ⊃ F36(y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property associates an instance of F35 Nomen Use Statement with the instance of F36 Script Conversion that was used to create the Nomen referred to in the Nomen Use Statement. The source of this conversion may or may not be explicitly mentioned. Is shortcut of: F35 Nomen Use Statement R17 was created by (created) F28 Expression Creation P33 used specific technique (was used by) E29 Design or Procedure. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : R36

Domain and range

F35 Nomen Use Statement → R36 uses script conversion → F36 Script Conversion

Labels

Label Language Last updated View details Comments
uses script conversion * en 2019-11-17 0

: Standard label for this language

Namespace

Namespace Last updated
FRBRoo version 2.4 2019-04-02

Parent properties

Domain Property Range Justification Root namespace View association

Ancestor properties

Domain Property Range Depth Root namespace

Childs and descendant properties

Domain Property Range Depth Root namespace

Related properties

Relation Property Justification Defined in namespace View details

Profiles using this class

Label Start date End date Last updated

Comments