Inference Making – S5

S5 Inference Making

Scope note:

This class comprises the action of making 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.

Examples:

  • The inference made by Sakellarakis in 1980 about the sacrifice of a young man (E7) in the Minoan temple of Anemospilia based on the skeleton found (and 2 more) in the west room of the temple and the ritual bronze knife (E22) on it and the hypothesis that he died from loss of blood (the evidence was that his bones (E20) remained white in contrast to the others).
  • The inference that the underdrawing (E25) of the painting “Cupid complaining to Venus” (E22) was done with red pigment (E57), based on the observation (S4) that red pigment lines appear under the top paint layers (Foister, S., 2015).

In First Order Logic:

  • S5(x) ⇒ E13(x)

Scope notes

Show Scope note Language Namespace View details Comments
This class comprises the action of making 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. en CRMsci version 1.7 0

Examples

Show Example Language Namespace View details Comments
The inference made by Sakellarakis in 1980 about the sacrifice of a young man (E7) in the Minoan temple of Anemospilia based on the skeleton found (and 2 more) in the west room of the temple and the ritual bronze knife (E22) on it and the hypothesis that he died from loss of blood (the evidence was that his bones (E20) remained white in contrast to the others). The inference that the underdrawing (E25) of the painting “Cupid complaining to Venus” (E22) was done with red pigment (E57), based on the observation (S4) that red pigment lines appear under the top paint layers (Foister, S., 2015). en CRMsci version 1.7 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: S5

Official URI: http://www.cidoc-crm.org/cidoc-crm/CRMsci/S5_Inference_Making
OntoME URI: https://ontome.net/ontology/c370

Labels

Label Language Last updated View details Comments
Inference Making * en 2023-06-05 0

* : Standard label for this language

Namespace

Namespace Last updated
CRMsci version 1.7 2022-09-13
CRMsci version 1.2.3 2021-05-07

Parent classes

Class Class namespace Relation defined in Justification View details Edit Delete Comments
E13 Attribute Assignment CIDOC CRM version 7.1.2 CRMsci version 1.7 0

Ancestor classes

Class Depth Class namespace Via
E1 CRM Entity 6 CIDOC CRM version 7.1.2 E13 - E7 - E5 - E4 - E2
E1 CRM Entity 6 CIDOC CRM version 7.1.2 E13 - E7 - E5 - E4 - E92
E1 CRM Entity 7 CIDOC CRM version 7.1.2 E13 - C46 - C10 - C4 - C1 - E2
E1 CRM Entity 7 CIDOC CRM version 7.1.2 E13 - C46 - E7 - E5 - E4 - E2
E1 CRM Entity 7 CIDOC CRM version 7.1.2 E13 - C46 - E7 - E5 - E4 - E92
E1 CRM Entity 7 CIDOC CRM version 7.1.2 E13 - E7 - E5 - E4 - E2 - S15
E1 CRM Entity 8 CIDOC CRM version 7.1.2 E13 - C46 - C10 - C4 - C1 - E2 - S15
E1 CRM Entity 8 CIDOC CRM version 7.1.2 E13 - C46 - E7 - E5 - E4 - E2 - S15
E2 Temporal Entity 5 CIDOC CRM version 7.1.2 E13 - E7 - E5 - E4
E2 Temporal Entity 6 CIDOC CRM version 7.1.2 E13 - C46 - E7 - E5 - E4
E4 Period 4 CIDOC CRM version 7.1.2 E13 - E7 - E5
E4 Period 5 CIDOC CRM version 7.1.2 E13 - C46 - E7 - E5
E5 Event 3 CIDOC CRM version 7.1.2 E13 - E7
E5 Event 4 CIDOC CRM version 7.1.2 E13 - C46 - E7
E7 Activity 2 CIDOC CRM version 7.1.2 E13
E92 Spacetime Volume 5 CIDOC CRM version 7.1.2 E13 - E7 - E5 - E4
E92 Spacetime Volume 6 CIDOC CRM version 7.1.2 E13 - C46 - E7 - E5 - E4
C1 Entity Quality 5 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing E13 - C46 - C10 - C4
Thing 7 OntoME internal model - active version E13 - E7 - E5 - E4 - E2 - E1
Thing 7 OntoME internal model - active version E13 - E7 - E5 - E4 - E92 - E1
Thing 8 OntoME internal model - active version E13 - C46 - C10 - C4 - C1 - E2 - E1
Thing 8 OntoME internal model - active version E13 - C46 - E7 - E5 - E4 - E2 - E1
Thing 8 OntoME internal model - active version E13 - C46 - E7 - E5 - E4 - E92 - E1
Thing 8 OntoME internal model - active version E13 - E7 - E5 - E4 - E2 - S15 - E1
Thing 8 OntoME internal model - active version E13 - E7 - E5 - E4 - E92 - C5 - E1
Thing 9 OntoME internal model - active version E13 - C46 - C10 - C4 - C1 - E2 - S15 - E1
Thing 9 OntoME internal model - active version E13 - C46 - E7 - E5 - E4 - E2 - S15 - E1
Thing 9 OntoME internal model - active version E13 - C46 - E7 - E5 - E4 - E92 - C5 - E1
S15 Observable Entity 6 CRMsci version 1.7 E13 - E7 - E5 - E4 - E2
S15 Observable Entity 7 CRMsci version 1.7 E13 - C46 - C10 - C4 - C1 - E2
S15 Observable Entity 7 CRMsci version 1.7 E13 - C46 - E7 - E5 - E4 - E2
C5 Abstract Region 6 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing E13 - E7 - E5 - E4 - E92
C5 Abstract Region 7 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing E13 - C46 - E7 - E5 - E4 - E92
C4 Intention 4 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing E13 - C46 - C10
C10 Intentional Event 3 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing E13 - C46
C46 Intentional Expression 2 SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing E13

Child and descendant classes

Class Depth Class namespace Via
S6 Data Evaluation 1 CRMsci version 1.7
S7 Simulation or Prediction 1 CRMsci version 1.7
S8 Categorical Hypothesis Building 1 CRMsci version 1.7

Related classes

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

Outgoing properties (this class is domain)

Domain Property identifier Range Namespace

Outgoing properties (inherited from ancestors)

Domain Property identifier Range Namespace
S5 Inference Making (is a E1 CRM Entity) crm:P1 is identified by (identifies) E41 Appellation CIDOC CRM version 7.1.2
S5 Inference Making (is a E1 CRM Entity) crm:P2 has type (is type of) E55 Type CIDOC CRM version 7.1.2
S5 Inference Making (is a E1 CRM Entity) crm:P3 has note E62 String CIDOC CRM version 7.1.2
S5 Inference Making (is a E1 CRM Entity) crm:P48 has preferred identifier (is preferred identifier of) E42 Identifier CIDOC CRM version 7.1.2
S5 Inference Making (is a E1 CRM Entity) crm:P137 exemplifies (is exemplified by) E55 Type CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P4 has time-span (is time-span of) E52 Time-Span CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P173 starts before or with the end of (ends after or with the start of) E2 Temporal Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P174 starts before the end of (ends after the start of) E2 Temporal Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P175 starts before or with the start of (starts after or with the start of) E2 Temporal Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P176 starts before the start of (starts after the start of) E2 Temporal Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P182 ends before or with the start of (starts after or with the end of) E2 Temporal Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P183 ends before the start of (starts after the end of) E2 Temporal Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P184 ends before or with the end of (ends with or after the end of) E2 Temporal Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E2 Temporal Entity) crm:P185 ends before the end of (ends after the end of) E2 Temporal Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E4 Period) crm:P7 took place at (witnessed) E53 Place CIDOC CRM version 7.1.2
S5 Inference Making (is a E4 Period) crm:P8 took place on or within (witnessed) E18 Physical Thing CIDOC CRM version 7.1.2
S5 Inference Making (is a E4 Period) crm:P9 consists of (forms part of) E4 Period CIDOC CRM version 7.1.2
S5 Inference Making (is a E5 Event) crm:P11 had participant (participated in) E39 Actor CIDOC CRM version 7.1.2
S5 Inference Making (is a E5 Event) crm:P12 occurred in the presence of (was present at) E77 Persistent Item CIDOC CRM version 7.1.2
S5 Inference Making (is a E5 Event) crmsci:O13 triggers (is triggered by) E5 Event CRMsci version 1.7
S5 Inference Making (is a E7 Activity) crm:P14 carried out by (performed) E39 Actor CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P15 was influenced by (influenced) E1 CRM Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P16 used specific object (was used for) E70 Thing CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P17 was motivated by (motivated) E1 CRM Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P19 was intended use of (was made for) E71 Human-Made Thing CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P20 had specific purpose (was purpose of) E5 Event CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P21 had general purpose (was purpose of) E55 Type CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P32 used general technique (was technique of) E55 Type CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P33 used specific technique (was used by) E29 Design or Procedure CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P125 used object of type (was type of object used in) E55 Type CIDOC CRM version 7.1.2
S5 Inference Making (is a E7 Activity) crm:P134 continued (was continued by) E7 Activity CIDOC CRM version 7.1.2
S5 Inference Making (is a E13 Attribute Assignment) crm:P140 assigned attribute to (was attributed by) E1 CRM Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E13 Attribute Assignment) crm:P141 assigned (was assigned by) E1 CRM Entity CIDOC CRM version 7.1.2
S5 Inference Making (is a E13 Attribute Assignment) crm:P177 assigned property of type (is type of property assigned) E55 Type CIDOC CRM version 7.1.2
S5 Inference Making (is a E92 Spacetime Volume) crm:P10 falls within (contains) E92 Spacetime Volume CIDOC CRM version 7.1.2
S5 Inference Making (is a E92 Spacetime Volume) crm:P132 spatiotemporally overlaps with E92 Spacetime Volume CIDOC CRM version 7.1.2
S5 Inference Making (is a E92 Spacetime Volume) crm:P133 is spatiotemporally separated from E92 Spacetime Volume CIDOC CRM version 7.1.2
S5 Inference Making (is a E92 Spacetime Volume) crm:P160 has temporal projection (is temporal projection of) E52 Time-Span CIDOC CRM version 7.1.2
S5 Inference Making (is a E92 Spacetime Volume) crm:P161 has spatial projection (is spatial projection of) E53 Place CIDOC CRM version 7.1.2
S5 Inference Making (is a C1 Entity Quality) sdh:P23 has quality type (is quality type of) C20 Entity Quality Type SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
S5 Inference Making (is a S15 Observable Entity) crmsci:O12 has dimension (is dimension of) E54 Dimension CRMsci version 1.7
S5 Inference Making (is a C4 Intention) sdh:P40 has context (is context of) C26 Representations SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
S5 Inference Making (is a C10 Intentional Event) sdh:P3 effects (is the result of) C4 Intention SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
S5 Inference Making (is a C10 Intentional Event) sdh:P4 ends (is ended by) C4 Intention SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
S5 Inference Making (is a C10 Intentional Event) sdh:P45 has maximal projection in geographical space (is maximal projection of) C13 Geographical Place SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
S5 Inference Making (is a C46 Intentional Expression) sdh:P48 has intentional expression identifying type (is identifying type of) C47 Intentional Expression Type SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing

Incoming properties (this class is range)

Domain Property identifier Range Namespace

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E2 Temporal Entity crm:P173 starts before or with the end of (ends after or with the start of) S5 Inference Making (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P174 starts before the end of (ends after the start of) S5 Inference Making (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P175 starts before or with the start of (starts after or with the start of) S5 Inference Making (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P176 starts before the start of (starts after the start of) S5 Inference Making (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P182 ends before or with the start of (starts after or with the end of) S5 Inference Making (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P183 ends before the start of (starts after the end of) S5 Inference Making (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P184 ends before or with the end of (ends with or after the end of) S5 Inference Making (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P185 ends before the end of (ends after the end of) S5 Inference Making (is a E2) CIDOC CRM version 7.1.2
E4 Period crm:P9 consists of (forms part of) S5 Inference Making (is a E4) CIDOC CRM version 7.1.2
E5 Event crmsci:O13 triggers (is triggered by) S5 Inference Making (is a E5) CRMsci version 1.7
E7 Activity crm:P134 continued (was continued by) S5 Inference Making (is a E7) CIDOC CRM version 7.1.2
E7 Activity crm:P15 was influenced by (influenced) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E7 Activity crm:P17 was motivated by (motivated) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E7 Activity crm:P20 had specific purpose (was purpose of) S5 Inference Making (is a E5) CIDOC CRM version 7.1.2
E13 Attribute Assignment crm:P140 assigned attribute to (was attributed by) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E13 Attribute Assignment crm:P141 assigned (was assigned by) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E17 Type Assignment crm:P41 classified (was classified by) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E18 Physical Thing crm:P196 defines (is defined by) S5 Inference Making (is a E92) CIDOC CRM version 7.1.2
E24 Physical Human-Made Thing crm:P62 depicts (is depicted by) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E31 Document crm:P70 documents (is documented in) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E32 Authority Document crm:P71 lists (is listed in) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E36 Visual Item crm:P138 represents (has representation) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E83 Type Creation crm:P136 was based on (supported type creation) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E89 Propositional Object crm:P129 is about (is subject of) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E89 Propositional Object crm:P67 refers to (is referred to by) S5 Inference Making (is a E1) CIDOC CRM version 7.1.2
E92 Spacetime Volume crm:P10 falls within (contains) S5 Inference Making (is a E92) CIDOC CRM version 7.1.2
E92 Spacetime Volume crm:P132 spatiotemporally overlaps with S5 Inference Making (is a E92) CIDOC CRM version 7.1.2
E92 Spacetime Volume crm:P133 is spatiotemporally separated from S5 Inference Making (is a E92) CIDOC CRM version 7.1.2
E93 Presence crm:P166 was a presence of (had presence) S5 Inference Making (is a E92) CIDOC CRM version 7.1.2
S4 Observation crmsci:O16 observed value (value was observed by) S5 Inference Making (is a E1) CRMsci version 1.7
S4 Observation crmsci:O8 observed (was observed by) S5 Inference Making (is a S15) CRMsci version 1.7
S6 Data Evaluation crmsci:O11 described (was described by) S5 Inference Making (is a S15) CRMsci version 1.7
S21 Measurement crmsci:O24 measured (was measured by) S5 Inference Making (is a S15) CRMsci version 1.7
S22 Segment of Matter crmsci:O23 is defined by (defines) S5 Inference Making (is a E92) CRMsci version 1.7
C2 Intentional Situation sdh:P51 is interpretation of (is interpreted by) S5 Inference Making (is a C10) SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
C9 Intentional Entity sdh:P7 has intention (is intention of) S5 Inference Making (is a C4) SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
C10 Intentional Event sdh:P3 effects (is the result of) S5 Inference Making (is a C4) SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
C10 Intentional Event sdh:P4 ends (is ended by) S5 Inference Making (is a C4) SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
C35 Actor's quality in relation to an event sdh-so:P60 is quality in relation to intentional event (has related actor's quality) S5 Inference Making (is a C10) SDHSS Social, legal and economic life ongoing
E95 Spacetime Primitive crm:P169 defines spacetime volume (spacetime volume is defined by) S5 Inference Making (is a E92) CIDOC CRM version 7.1.2

Profiles using this class

Label Version Status Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments