has expression type (is expression type of) – P4

P4 has expression type (is expression type of)

Quantification:

0,n:0,1

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

Show Scope note Language Namespace View details Comments
Associates an expression with the type which defines its identity en SDHSS CIDOC CRM supplement (v1.0) 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P4

Official URI: https://sdhss.org/ontology/crm-supplement/1.0/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

Label Language Last updated View details Comments
has expression type (is expression type of) * en 2025-06-20 0

: Standard label for this language

Namespace

Namespace Last updated
SDHSS CIDOC CRM Base and LRM supplement 2021-04-28
SDHSS CIDOC CRM supplement (v1.0) 2025-06-20

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E1 CRM Entity (0,n) P2 has type (is type of) (0,n) crm:E55 Type CIDOC CRM version 6.2 SDHSS CIDOC CRM supplement (v1.0) 0

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated
Geovistory Basics 1 Ongoing 2025-09-22
READ-IT 1 Ongoing 2023-10-25

Comments