used as premise (was premise for) – J1

J1 used as premise (was premise for)

Domain:

crminf:I5 Inference Making

Range:

crminf:I2 Belief

Quantification:

No quantifiers yet.

Subproperty of:

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)

Scope notes

Show Scope note Language Namespace View details Comments
This property associates an instance of I2 Belief with the instance of I5 Inference Making that used it as a premise. en CRMinf version 0.7 0

Examples

Show Example Language Namespace View details Comments
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) en CRMinf version 0.7 0
My classification and dating of this bowl (I5) used as premise my belief in the observations of this bowl (I2) en CRMinf version 0.7 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: J1

Official URI: https://ontome.net/ns/crminf/J1
OntoME URI: https://ontome.net/ontology/p1247

Domain and range

crminf:I5 Inference Making → J1 used as premise (was premise for) → crminf:I2 Belief

Labels

Label Language Last updated View details Comments
used as premise (was premise for) * en 2021-06-10 0

: Standard label for this language

Namespace

Namespace Last updated
CRMinf version 0.7 2021-05-07

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E7 Activity (0,n) P17 was motivated by (motivated) (0,n) crm:E1 CRM Entity CIDOC CRM version 6.2 CRMinf version 0.7 0

Ancestor properties

Domain Property Range Depth Property namespace
crm:E7 Activity (0,n) P15 was influenced by (influenced) (0,n) crm:E1 CRM Entity 2 CIDOC CRM version 6.2

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated
Silknow working profile 1 Ongoing 2023-10-25

Comments