has expression portion type (is expression portion type of) – P5

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

P5 has expression portion type (is expression portion type of)

Domain:

sdh-int:C2 Expression Portion

Range:

sdh-int:C3 Expression Portion Type

Quantification:

0,n:0,1

Scope note:

Associates an Expression portion with the type which defines its identity

Examples:

No example yet.

In First Order Logic:

  • P5(x,y) ⇒ C2(x)
  • P5(x,y) ⇒ C3(y)

Scope notes

Examples

Additional notes

Identifier: P5

Official URI: https://ontome.net/ns/intellectual-literary-life/P5
OntoME URI: https://ontome.net/ontology/p1320

Domain and range

sdh-int:C2 Expression Portion → P5 has expression portion type (is expression portion type of) → sdh-int:C3 Expression Portion Type  (Quantifiers 0,n:0,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments