that (is subject of) – J4

J4 that (is subject of)

Domain:

crminf:I2 Belief

Range:

crminf:I4 Proposition Set

Quantification:

0,n:1,n

Superproperty of:

Scope note:

This property associates an instance of I4 Proposition Set with the instance of I2 Belief that holds an opinion about it.

Examples:

Dragendorff’s belief concerning type 29 Bowls (I2) that type 29 Bowls are from the 1st century AD (I4).

In First Order Logic:

  • J4(x,y) ⇒ I2(x)
  • J4(x,y) ⇒ I4(y)

Scope notes

Examples

Additional notes

Identifier: J4

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

Domain and range

crminf:I2 Belief → J4 that (is subject of) → crminf:I4 Proposition Set  (Quantifiers 0,n:1,n)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments