has expression type (is expression type of) – P4

Validation status: Under revision

This property cannot be validated because its domain and/or range is not validated.

P4 has expression type (is expression type of)

Domain:

lrmoo: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

Show Scope note Language Namespace View details Comments Validation
Associates an expression with the type which defines its identity en SDHSS CIDOC CRM Base and LRM supplement 0 Validated

Examples

Show Example Language Namespace View details Comments Validation

Additional notes

Show Notes Type Language Namespace View details Comments Validation

Identifier: P4

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

Domain and range

lrmoo: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 Validation
has expression type (is expression type of) * en 2025-06-17 0 Validated

: 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 Validation
crm:E1 CRM Entity (0,n) P2 has type (is type of) (0,n) crm:E55 Type CIDOC CRM version 7.1.3 SDHSS CIDOC CRM Base and LRM supplement 0 Under revision

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 Validation

Profiles using this property

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

Comments