specifies type of thing (is specified type of thing of) – socP20

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

socP20 specifies type of thing (is specified type of thing of)

Quantification:

0,n:0,n

Scope note:

This property associates an instance of socE4 Event Template with the type (E55 Type) of a thing, which the template specifies be used or be present for the specified event. On the other hand, a particular instance of a thing that is required should be specified using the property socP24 specifies material substantial (is specified material substantial).

 

Examples:

My wedding plan requires an event template (socE4), which specifies type of thing: “wedding ring” (E55) [but does not specify which instance of a wedding ring it is].

 

In First Order Logic:

  • socP20(x,y) ⊃ apE4(x)
  • socP20(x,y) ⊃ E55(y)

Scope Notes

Show Scope note Language Namespace View details Comments Validation
This property associates an instance of socE4 Event Template with the type (E55 Type) of a thing, which the template specifies be used or be present for the specified event. On the other hand, a particular instance of a thing that is required should be specified using the property socP24 specifies material substantial (is specified material substantial).   en CRM Activity Plans 0 Candidate

Examples

Show Example Language Namespace View details Comments Validation
My wedding plan requires an event template (socE4), which specifies type of thing: “wedding ring” (E55) [but does not specify which instance of a wedding ring it is].   en CRM Activity Plans 0 Candidate

Additional notes

Show Notes Language Namespace View details Comments Validation
Updated scope note and example based on the Feb 2020 SIG meeting. en CRM Activity Plans 0 Candidate

Identifier : socP20

Domain and range

apE4 Event Template → socP20 specifies type of thing (is specified type of thing of) → E55 Type  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments Validation
specifies type of thing (is specified type of thing of) * en 2021-07-19 0 Candidate

: Standard label for this language

Namespace

Namespace Last updated
CRM Activity Plans 2021-07-19

Parent properties

Domain Property Range Justification Relation namespace View details Edit Delete Comments Validation

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Justification Relation namespace View details Edit Delete Comments Validation

Profiles using this property

Label Version Status Last updated

Comments