Inference Making – I5

I5 Inference Making

Subclass of:

Scope note:

This class comprises the action of making honest propositions and statements about particular states of affairs in reality or in possible realities or categorical descriptions of reality by using inferences from other statements based on hypotheses and any form of formal or informal logic. It includes evaluations, calculations, and interpretations based on mathematical formulations and propositions.

It is characterized by the use of an existing I2 Belief as the premise that together with a set of I3 Inference Logic draws a further I2 Belief as a conclusion.

Documenting instances of I5 Inference Making primarily enables tracing the dependency of knowledge from conclusion to premise through subsequent inferences, possibly back toprimary evidence, so that the range of influence of knowledge revision at any intermediate stage of complex inference chains on current convictions can be narrowed down by query. The explicit reference to the applied inference logic further allows scholars or scientists to assess if
they can or would follow the documented argument. The class is not intended to promote the use of computationally decidable systems of logic as replacements of scholarly justifications of arguments, even though it allows for documenting the use of decidable logic, if that was deemed adequate for the problem at hand. Principles of scholarly justifications of arguments are also regarded as kinds of inference logic.

Examples:

My classification and dating of this bowl

In First Order Logic:

  • I5(x) ⊃ I1(x)

Scope Notes

Show Scope note Language Namespace View details Comments
This class comprises the action of making honest propositions and statements about particular states of affairs in reality or in possible realities or categorical descriptions of reality by using inferences from other statements based on hypotheses and any form of formal or informal logic. It includes evaluations, calculations, and interpretations based on mathematical formulations and propositions. It is characterized by the use of an existing I2 Belief as the premise that together with a set of I3 Inference Logic draws a further I2 Belief as a conclusion. Documenting instances of I5 Inference Making primarily enables tracing the dependency of knowledge from conclusion to premise through subsequent inferences, possibly back toprimary evidence, so that the range of influence of knowledge revision at any intermediate stage of complex inference chains on current convictions can be narrowed down by query. The explicit reference to the applied inference logic further allows scholars or scientists to assess ifthey can or would follow the documented argument. The class is not intended to promote the use of computationally decidable systems of logic as replacements of scholarly justifications of arguments, even though it allows for documenting the use of decidable logic, if that was deemed adequate for the problem at hand. Principles of scholarly justifications of arguments are also regarded as kinds of inference logic. en 0

Examples

Show Example Language Namespace View details Comments
My classification and dating of this bowl en WIP 0

Additional notes

Show Notes Language Namespace View details Comments

Identifier : I5

Labels

Label Language Last updated View details Comments
Inference Making * en 2019-01-23 0

* : Standard label for this language

Namespace

Namespace Last updated
CRMinf version 0.7 2019-12-04

Parent classes

Class Class namespace Relation defined in Justification View details Comments
I1 Argumentation CRMinf version 0.7 0

Ancestor classes

Class Depth Class namespace
E1 CRM Entity 7 CIDOC CRM version 6.2
E1 CRM Entity 8 CIDOC CRM version 6.2
E2 Temporal Entity 6 CIDOC CRM version 6.2
E4 Period 5 CIDOC CRM version 6.2
E5 Event 4 CIDOC CRM version 6.2
E7 Activity 3 CIDOC CRM version 6.2
E13 Attribute Assignment 2 CIDOC CRM version 6.2
E92 Spacetime Volume 6 CIDOC CRM version 6.2
E92 Spacetime Volume 7 CIDOC CRM version 6.2
SP1 Phenomenal Spacetime Volume 6 CRMgeo version 1.2
S15 Observable Entity 7 CRMsci version 1.2.3

Childs and descendant classes

Class Depth Class namespace

Related classes

Relation Class Justification Relation defined in View details Comments

Outgoing properties (this class is domain)

Domain Property identifier Range Namespace
I5 Inference Making J1 used as premise I2 Belief CRMinf version 0.7
I5 Inference Making J3 applies I3 Inference Logic CRMinf version 0.7

Outgoing properties (inherited from ancestors)

Domain Property identifier Range Namespace
I5 Inference Making (is a E1 CRM Entity) P1 is identified by E41 Appellation CIDOC CRM version 6.2
I5 Inference Making (is a E1 CRM Entity) P2 has type E55 Type CIDOC CRM version 6.2
I5 Inference Making (is a E1 CRM Entity) P3 has note E62 String CIDOC CRM version 6.2
I5 Inference Making (is a E1 CRM Entity) P48 has preferred identifier E42 Identifier CIDOC CRM version 6.2
I5 Inference Making (is a E1 CRM Entity) P137 exemplifies E55 Type CIDOC CRM version 6.2
I5 Inference Making (is a E1 CRM Entity) L47 has comment E62 String CRMdig version 3.2
I5 Inference Making (is a E1 CRM Entity) L4 has preferred label E62 String CRMdig version 3.2
I5 Inference Making (is a E1 CRM Entity) L53 is not uniquely identified by E62 String CRMdig version 3.2
I5 Inference Making (is a E1 CRM Entity) P31 time-independent entity association E1 CRM Entity HistDMI generic classes and properties – ongoing
I5 Inference Making (is a E2 Temporal Entity) P4 has time-span E52 Time-Span CIDOC CRM version 6.2
I5 Inference Making (is a E2 Temporal Entity) P114 is equal in time to E2 Temporal Entity CIDOC CRM version 6.2
I5 Inference Making (is a E2 Temporal Entity) P115 finishes E2 Temporal Entity CIDOC CRM version 6.2
I5 Inference Making (is a E2 Temporal Entity) P116 starts E2 Temporal Entity CIDOC CRM version 6.2
I5 Inference Making (is a E2 Temporal Entity) P117 occurs during E2 Temporal Entity CIDOC CRM version 6.2
I5 Inference Making (is a E2 Temporal Entity) P118 overlaps in time with E2 Temporal Entity CIDOC CRM version 6.2
I5 Inference Making (is a E2 Temporal Entity) P119 meets in time with E2 Temporal Entity CIDOC CRM version 6.2
I5 Inference Making (is a E2 Temporal Entity) P120 occurs before E2 Temporal Entity CIDOC CRM version 6.2
I5 Inference Making (is a E2 Temporal Entity) P1 involves E1 CRM Entity HistDMI generic classes and properties – ongoing
I5 Inference Making (is a E2 Temporal Entity) P29 is component of (has component) E2 Temporal Entity HistDMI generic classes and properties – ongoing
I5 Inference Making (is a E2 Temporal Entity) P30 has identity defining component E1 CRM Entity HistDMI generic classes and properties – ongoing
I5 Inference Making (is a E4 Period) P7 took place at E53 Place CIDOC CRM version 6.2
I5 Inference Making (is a E4 Period) P8 took place on or within E18 Physical Thing CIDOC CRM version 6.2
I5 Inference Making (is a E4 Period) P9 consists of E4 Period CIDOC CRM version 6.2
I5 Inference Making (is a E4 Period) Q1 occupied SP1 Phenomenal Spacetime Volume CRMgeo version 1.2
I5 Inference Making (is a E4 Period) P52 was held at (hosted) C8 Geographical Place HistDMI generic classes and properties – ongoing
I5 Inference Making (is a E5 Event) P11 had participant E39 Actor CIDOC CRM version 6.2
I5 Inference Making (is a E5 Event) P12 occurred in the presence of E77 Persistent Item CIDOC CRM version 6.2
I5 Inference Making (is a E5 Event) O13 triggers (is triggered by) E5 Event CRMsci version 1.2.3
I5 Inference Making (is a E5 Event) O14 initializes (is initialized by) S16 State CRMsci version 1.2.3
I5 Inference Making (is a E5 Event) P18 has event type C4 Event type HistDMI generic classes and properties – ongoing
I5 Inference Making (is a E7 Activity) P14 carried out by E39 Actor CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P15 was influenced by E1 CRM Entity CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P16 used specific object E70 Thing CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P17 was motivated by E1 CRM Entity CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P19 was intended use of E71 Man-Made Thing CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P20 had specific purpose E5 Event CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P21 had general purpose E55 Type CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P32 used general technique E55 Type CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P33 used specific technique E29 Design or Procedure CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P125 used object of type E55 Type CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) P134 continued E7 Activity CIDOC CRM version 6.2
I5 Inference Making (is a E7 Activity) L29 has responsible organization E40 Legal Body CRMdig version 3.2
I5 Inference Making (is a E7 Activity) L30 has operator E21 Person CRMdig version 3.2
I5 Inference Making (is a E7 Activity) L34 has contractor E40 Legal Body CRMdig version 3.2
I5 Inference Making (is a E7 Activity) L35 has commissioner E40 Legal Body CRMdig version 3.2
I5 Inference Making (is a E13 Attribute Assignment) P140 assigned attribute to E1 CRM Entity CIDOC CRM version 6.2
I5 Inference Making (is a E13 Attribute Assignment) P141 assigned E1 CRM Entity CIDOC CRM version 6.2
I5 Inference Making (is a E92 Spacetime Volume) P10 falls within E92 Spacetime Volume CIDOC CRM version 6.2
I5 Inference Making (is a E92 Spacetime Volume) P132 overlaps with E92 Spacetime Volume CIDOC CRM version 6.2
I5 Inference Making (is a E92 Spacetime Volume) P133 is separated from E92 Spacetime Volume CIDOC CRM version 6.2
I5 Inference Making (is a E92 Spacetime Volume) P160 has temporal projection E52 Time-Span CIDOC CRM version 6.2
I5 Inference Making (is a E92 Spacetime Volume) P161 has spatial projection E53 Place CIDOC CRM version 6.2
I5 Inference Making (is a SP1 Phenomenal Spacetime Volume) Q3 has temporal projection SP13 Phenomenal Time-Span CRMgeo version 1.2
I5 Inference Making (is a SP1 Phenomenal Spacetime Volume) Q4 has spatial projection SP2 Phenomenal Place CRMgeo version 1.2
I5 Inference Making (is a S15 Observable Entity) O12 has dimension (is dimension of) E54 Dimension CRMsci version 1.2.3
I5 Inference Making (is a I1 Argumentation) J2 conclued that I2 Belief CRMinf version 0.7

Incoming properties (this class is range)

Domain Property identifier Range Namespace

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E1 CRM Entity P31 time-independent entity association I5 Inference Making (is a E1 CRM Entity) HistDMI generic classes and properties – ongoing
E2 Temporal Entity P1 involves I5 Inference Making (is a E1 CRM Entity) HistDMI generic classes and properties – ongoing
E2 Temporal Entity P114 is equal in time to I5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P115 finishes I5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P116 starts I5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P117 occurs during I5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P118 overlaps in time with I5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P119 meets in time with I5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P120 occurs before I5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P29 is component of (has component) I5 Inference Making (is a E2 Temporal Entity) HistDMI generic classes and properties – ongoing
E2 Temporal Entity P30 has identity defining component I5 Inference Making (is a E1 CRM Entity) HistDMI generic classes and properties – ongoing
E4 Period P9 consists of I5 Inference Making (is a E4 Period) CIDOC CRM version 6.2
E4 Period Q1 occupied I5 Inference Making (is a SP1 Phenomenal Spacetime Volume) CRMgeo version 1.2
E5 Event O13 triggers (is triggered by) I5 Inference Making (is a E5 Event) CRMsci version 1.2.3
E7 Activity P134 continued I5 Inference Making (is a E7 Activity) CIDOC CRM version 6.2
E7 Activity P15 was influenced by I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P17 was motivated by I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P20 had specific purpose I5 Inference Making (is a E5 Event) CIDOC CRM version 6.2
E13 Attribute Assignment P140 assigned attribute to I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E13 Attribute Assignment P141 assigned I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E16 Measurement P39 measured I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E17 Type Assignment P41 classified I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E18 Physical Thing Q2 occupied I5 Inference Making (is a SP1 Phenomenal Spacetime Volume) CRMgeo version 1.2
E24 Physical Man-Made Thing P62 depicts I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E31 Document P70 documents I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E32 Authority Document P71 lists I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E36 Visual Item P138 represents I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E83 Type Creation P136 was based on I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P129 is about I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P67 refers to I5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E92 Spacetime Volume P10 falls within I5 Inference Making (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E92 Spacetime Volume P132 overlaps with I5 Inference Making (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E92 Spacetime Volume P133 is separated from I5 Inference Making (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E93 Presence P166 was a presence of I5 Inference Making (is a E92 Spacetime Volume) CIDOC CRM version 6.2
C1 Persistent Item Characteristic (Temporal Entity) P2 was initiated by I5 Inference Making (is a E5 Event) HistDMI generic classes and properties – ongoing
C1 Persistent Item Characteristic (Temporal Entity) P3 was terminated by I5 Inference Making (is a E5 Event) HistDMI generic classes and properties – ongoing
C2 Geographical localisation (Temporal entity) P12 is location of I5 Inference Making (is a E1 CRM Entity) HistDMI generic classes and properties – ongoing
F29 Recording Event R20 recorded I5 Inference Making (is a E2 Temporal Entity) FRBRoo version 2.4
F35 Nomen Use Statement R38 refers to thema I5 Inference Making (is a E1 CRM Entity) FRBRoo version 2.4
F40 Identifier Assignment R45 assigned to I5 Inference Making (is a E1 CRM Entity) FRBRoo version 2.4
F51 Pursuit R59 had typical subject I5 Inference Making (is a E1 CRM Entity) FRBRoo version 2.4
F52 Name Use Activity R63 named I5 Inference Making (is a E1 CRM Entity) FRBRoo version 2.4
SP7 Declarative Spacetime Volume Q12 approximates I5 Inference Making (is a E92 Spacetime Volume) CRMgeo version 1.2
SP11 Temporal Reference System Q19 has reference event I5 Inference Making (is a E5 Event) CRMgeo version 1.2
C10 Appellation in a language (Temporal entity) P9 is appellation for language of (has appellation for language) I5 Inference Making (is a E1 CRM Entity) HistDMI generic classes and properties – ongoing
S4 Observation O16 observed value (value was observed by) I5 Inference Making (is a E1 CRM Entity) CRMsci version 1.2.3
S4 Observation O8 observed (was observed by) I5 Inference Making (is a S15 Observable Entity) CRMsci version 1.2.3
S6 Data Evaluation O11 described (was described by) I5 Inference Making (is a S15 Observable Entity) CRMsci version 1.2.3
S21 Measurement O24 measured (was measured by) I5 Inference Making (is a S15 Observable Entity) CRMsci version 1.2.3
S22 Segment of Matter O23 is defined by (defines) I5 Inference Making (is a E92 Spacetime Volume) CRMsci version 1.2.3
D2 Digitization Process L60 documents I5 Inference Making (is a E1 CRM Entity) CRMdig version 3.2
D29 Annotation Object L43 annotates I5 Inference Making (is a E1 CRM Entity) CRMdig version 3.2
C25 Participation P27 is participation in I5 Inference Making (is a E5 Event) HistDMI generic classes and properties – ongoing

Profiles using this class

Label Start date End date Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments