has key (is key of) – U11

U11 has key (is key of)

Domain:

frbroo:F22 Self-Contained Expression

Range:

mus:M4 Key

Quantification:

No quantifiers yet.

Subproperty of:

Scope note:

No scope note yet.

Examples:

No example yet.

In First Order Logic:

  • U11(x,y) ⇒ F22(x)
  • U11(x,y) ⇒ M4(y)
  • U11(x,y) ⇒ P2(x,y)

Scope notes

Examples

Additional notes

Identifier: U11

Official URI: http://data.doremus.org/ontology#U11_has_key
OntoME URI: https://ontome.net/ontology/p1956

Domain and range

frbroo:F22 Self-Contained Expression → U11 has key (is key of) → mus:M4 Key

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments