Domain:

crm:E1 CRM Entity

Range:

crm:E55 Type

Quantification:

0,n:0,1

Subproperty of:

• crm:E1 CRM Entity → crm:P2 has type (is type of) → crm:E55 Type

Superproperty of:

• sdh:C15 Epistemic Location of a Physical Thing → sdh:P19 has location type (is location type of) → sdh:C16 Epistemic Location Type
• sdh:C46 Intentional Expression → sdh:P48 has intentional expression identifying type (is identifying type of) → sdh:C47 Intentional Expression Type
• crm:E1 CRM Entity → sdh:P67 has kind (is kind of) → sdh:C50 Kind
• sdh:C3 Epistemic Situation → sdh:P74 has epistemic situation preferred type (is epistemic situation preferred type of) → sdh:C56 Epistemic Situation Type
• crm:E74 Group → crm-sup:P7 has group type (is group type of) → crm-sup:C9 Group Type
• crm:E73 Information Object → crm-sup:P26 has information object type (is type of) → crm-sup:C28 Information Object Type
• sdh-so:C37 Economic Transaction → sdh-so:P78 has economic transaction identifying type (is type of) → sdh-so:C45 Economic Transaction Type

Scope note:

This property associates an entity with a preferred type which expresses its basic or original identity.

Unlike the crm:P2 has type property the range maximal quantity is restricted to one. Additional types can be added using other typing properties or the classification class.

Identifying typs, i.e. types that define the identity of the typed entites and cannot be changed during the whole entity existence should be expressend using the sdh:P67 has kind (is kind of) → sdh:C50 Kind construct.

Examples:

No example yet.

In First Order Logic:

• P63(x,y) ⇒ E1(x)
• P63(x,y) ⇒ E55(y)
• P63(x,y) ⇒ P2(x,y)