Domain:

crminf:I1 Argumentation

Range:

crminf:I2 Belief

Quantification:

1,1:1,n

Subproperty of:

• crm:E2 Temporal Entity → crm:P175 starts before or with the start of (starts after or with the start of) → crm:E2 Temporal Entity
• crm:E2 Temporal Entity → crm:P185 ends before the end of (ends after the end of) → crm:E2 Temporal Entity

Superproperty of:

• crminf:I7 Belief Adoption → crminf:J13 adopted interpretation (was concluded by) → crminf:I12 Adopted Belief
• crminf:I15 Provenance Assessment → crminf:J21 concluded provenance (was assessed by) → crminf:I14 Provenance Belief
• crminf:I16 Meaning Comprehension → crminf:J23 interpreted meaning as (was interpretation by) → crminf:I13 Intended Meaning Belief

Scope note:

This property associates an instance of I2 Belief with the instance of I1 Argumentation that concluded it.

Examples:

Ian Hodder’s re-examination, in 1996, of the physical relation of wall C and floor B of building 1 in the north area of Catalhöyük (I1) concluded that Ian Hodder believed from 1996 on, that Floor B was earlier than wall C of building 1 in the north area of Catalhöyük (I2) (Hodder 1999).

In First Order Logic:

• J2(x,y) ⇒ I1(x)
• J2(x,y) ⇒ I2(y)
• J2(x,y) ⇒ P175(x,y)
• J2(x,y) ⇒ P185(x,y)