Domain:

crminf:I5 Inference Making

Range:

crminf:I2 Belief

Quantification:

0,n:1,n

Subproperty of:

• crm:E7 Activity → crm:P17 was motivated by (motivated) → crm:E1 CRM Entity

Superproperty of:

• crminf:I7 Belief Adoption → crminf:J15 assumed meaning (was assumed by) → crminf:I13 Intended Meaning Belief

Scope note:

This property associates an instance of I2 Belief with the instance of I5 Inference Making that used it as a premise.

Examples:

• My classification and dating of this bowl (I5) used as premise my belief that Dragendorff type 29 bowls are from the 1st century AD (I2).
• My classification and dating of this bowl (I5) used as premise my belief in the observations of this bowl (I2).

In First Order Logic:

• J1(x,y) ⇒ I5(x)
• J1(x,y) ⇒ I2(y)
• J1(x,y) ⇒ P17(x,y)