has expression type (is expression type of) – P4

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

P4 has expression type (is expression type of)

Domain:

frbroo:F2 Expression

Range:

crm-sup:C6 Expression Type

Quantification:

0,n:0,1

Subproperty of:

Scope note:

Associates an expression with the type which defines its identity

Examples:

No example yet.

In First Order Logic:

  • P4(x,y) ⇒ F2(x)
  • P4(x,y) ⇒ C6(y)
  • P4(x,y) ⇒ P2(x,y)

Scope notes

Examples

Additional notes

Identifier: P4

Official URI: https://sdhss.org/ontology/crm-supplement/P4
OntoME URI: https://ontome.net/ontology/p1214

Domain and range

frbroo:F2 Expression → P4 has expression type (is expression type of) → crm-sup:C6 Expression 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