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

Examples

Additional notes

Identifier: P48

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

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments