has intentional expression identifying type (is identifying type of) – P48

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

P48 has intentional expression identifying type (is identifying type of)

Quantification:

0,n:0,1

Scope note:

This property associates an intentional expression with a type that identifies its identity.

Examples:

No example yet.

In First Order Logic:

  • P48(x,y) ⊃ C46(x)
  • P48(x,y) ⊃ C47(y)
  • P48(x,y) ⊃ P2(x,y)
  • P48(x,y) ⊃ P2(x,y)
  • P48(x,y) ⊃ P63(x,y)

Scope notes

Show Scope note Language Namespace View details Comments Validation
This property associates an intentional expression with a type that identifies its identity. en SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing 0 Candidate

Examples

Show Example Language Namespace View details Comments Validation

Additional notes

Show Notes Type Language Namespace View details Comments Validation

Identifier: P48

Official URI: https://ontome.net/ns/sdhss/P48
OntoME URI: https://ontome.net/ontology/p1800

Domain and range

sdh:C46 Intentional Expression → P48 has intentional expression identifying type (is identifying type of) → sdh:C47 Intentional Expression Type  (Quantifiers 0,n:0,1)

Labels

Label Language Last updated View details Comments Validation
has intentional expression identifying type (is identifying type of) * en 2022-09-18 0 Candidate

: Standard label for this language

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 6.2 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing 0 Candidate
crm:E1 CRM Entity (0,n) P2 has type (is type of) (0,n) crm:E55 Type CIDOC CRM version 6.2 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing 0 Candidate
crm:E1 CRM Entity (0,n) P63 has identity defining type (is identity defining type) (0,1) crm:E55 Type SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing 0 Candidate

Ancestor properties

Domain Property Range Depth Property namespace
crm:E1 CRM Entity (0,n) P2 has type (is type of) (0,n) crm:E55 Type 2 CIDOC CRM version 6.2

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

Comments