has casting (is casting of) – U13

U13 has casting (is casting of)

Quantification:

No quantifiers yet.

Scope note:

No scope note yet.

Examples:

No example yet.

In First Order Logic:

  • U13(x,y) ⇒ F22(x)
  • U13(x,y) ⇒ M6(y)
  • U13(x,y) ⇒ P67(x,y)

Scope notes

Examples

Additional notes

Identifier: U13

Official URI: http://data.doremus.org/ontology#U13_has_casting
OntoME URI: https://ontome.net/ontology/p1958

Domain and range

frbroo:F22 Self-Contained Expression → U13 has casting (is casting of) → mus:M6 Casting

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments