applies (was applied by) – J3

J3 applies (was applied by)

Domain:

crminf:I5 Inference Making

Range:

crminf:I3 Inference Logic

Quantification:

No quantifiers yet.

Subproperty of:

Scope note:

This property associates an instance of I3 Inference Logic with the instance of I5 Inference Making that used it to draw its conclusion.

Examples:

My classification and dating of this bowl (I5) applies Use of a typology (I3)

In First Order Logic:

  • J3(x,y) ⇒ I5(x)
  • J3(x,y) ⇒ I3(y)
  • J3(x,y) ⇒ P16(x,y)

Scope notes

Examples

Additional notes

Identifier: J3

Official URI: http://www.cidoc-crm.org/extensions/crminf/J3_applies
OntoME URI: https://ontome.net/ontology/p1249

Domain and range

crminf:I5 Inference Making → J3 applies (was applied by) → crminf:I3 Inference Logic

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments