Inference Making – S5

S5 Inference Making

Scope note:

This class comprises the action of concluding propositions on a respective reality from observational data by making evaluations based on mathematical inference rules and calculations using established hypotheses, such as the calculation of an earthquake epicenter. S6 Data Evaluation is not defined as S21/E16 Measurement; Secondary derivations of dimensions of an object from data measured by different processes are regarded as S6 Data Evaluation and not determining instances of Measurement in its own right. For instance, the volume of a statue concluded from a 3D model is an instance of S6 Data Evaluation and not of Measurement.

Examples:

No example yet.

In First Order Logic:

  • S5(x) ⊃ E13(x)
  • S5(x) ⊃ I1(x)

Scope Notes

Show Scope note Language Namespace View details Comments
This class comprises the action of concluding propositions on a respective reality from observational data by making evaluations based on mathematical inference rules and calculations using established hypotheses, such as the calculation of an earthquake epicenter. S6 Data Evaluation is not defined as S21/E16 Measurement; Secondary derivations of dimensions of an object from data measured by different processes are regarded as S6 Data Evaluation and not determining instances of Measurement in its own right. For instance, the volume of a statue concluded from a 3D model is an instance of S6 Data Evaluation and not of Measurement. en 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : S5

Labels

Label Language Last updated View details Comments
Inference Making * en 2018-06-22 0

* : Standard label for this language

Namespace

Namespace Last updated
CRMsci version 1.2.3 2020-09-02

Parent classes

Class Class namespace Relation defined in Justification View details Comments
E13 Attribute Assignment CIDOC CRM version 6.2 CRMsci version 1.2.3 0
I1 Argumentation CRMinf version 0.7 CRMsci version 1.2.3 0

Ancestor classes

Class Depth Class namespace
E1 CRM Entity 6 CIDOC CRM version 6.2
E1 CRM Entity 7 CIDOC CRM version 6.2
E1 CRM Entity 8 CIDOC CRM version 6.2
E2 Temporal Entity 5 CIDOC CRM version 6.2
E2 Temporal Entity 6 CIDOC CRM version 6.2
E4 Period 4 CIDOC CRM version 6.2
E4 Period 5 CIDOC CRM version 6.2
E5 Event 3 CIDOC CRM version 6.2
E5 Event 4 CIDOC CRM version 6.2
E7 Activity 2 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 5 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 5 CRMgeo version 1.2
SP1 Phenomenal Spacetime Volume 6 CRMgeo version 1.2
S15 Observable Entity 6 CRMsci version 1.2.3
S15 Observable Entity 7 CRMsci version 1.2.3

Childs and descendant classes

Class Depth Class namespace
S6 Data Evaluation 1 CRMsci version 1.2.3
S7 Simulation or Prediction 1 CRMsci version 1.2.3
S8 Categorical Hypothesis Building 1 CRMsci version 1.2.3
A6 Group Declaration Event 1 CRMarchaeo version 1.4.1

Related classes

Relation Class Justification Relation defined in View details 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) P1 is identified by (identifies) E41 Appellation CIDOC CRM version 6.2
S5 Inference Making (is a E1 CRM Entity) P2 has type (is type of) E55 Type CIDOC CRM version 6.2
S5 Inference Making (is a E1 CRM Entity) P3 has note E62 String CIDOC CRM version 6.2
S5 Inference Making (is a E1 CRM Entity) P48 has preferred identifier (is preferred identifier of) E42 Identifier CIDOC CRM version 6.2
S5 Inference Making (is a E1 CRM Entity) P137 exemplifies (is exemplified by) E55 Type CIDOC CRM version 6.2
S5 Inference Making (is a E1 CRM Entity) AP17 is found by (found) E1 CRM Entity CRMarchaeo version 1.4.1
S5 Inference Making (is a E1 CRM Entity) L47 has comment E62 String CRMdig version 3.2
S5 Inference Making (is a E1 CRM Entity) L4 has preferred label E62 String CRMdig version 3.2
S5 Inference Making (is a E1 CRM Entity) L53 is not uniquely identified by E62 String CRMdig version 3.2
S5 Inference Making (is a E2 Temporal Entity) P4 has time-span (is time-span of) E52 Time-Span CIDOC CRM version 6.2
S5 Inference Making (is a E2 Temporal Entity) P114 is equal in time to E2 Temporal Entity CIDOC CRM version 6.2
S5 Inference Making (is a E2 Temporal Entity) P115 finishes (is finished by) E2 Temporal Entity CIDOC CRM version 6.2
S5 Inference Making (is a E2 Temporal Entity) P116 starts (is started by) E2 Temporal Entity CIDOC CRM version 6.2
S5 Inference Making (is a E2 Temporal Entity) P117 occurs during (includes) E2 Temporal Entity CIDOC CRM version 6.2
S5 Inference Making (is a E2 Temporal Entity) P118 overlaps in time with (is overlapped in time by) E2 Temporal Entity CIDOC CRM version 6.2
S5 Inference Making (is a E2 Temporal Entity) P119 meets in time with (is met in time by) E2 Temporal Entity CIDOC CRM version 6.2
S5 Inference Making (is a E2 Temporal Entity) P120 occurs before (occurs after) E2 Temporal Entity CIDOC CRM version 6.2
S5 Inference Making (is a E4 Period) P7 took place at (witnessed) E53 Place CIDOC CRM version 6.2
S5 Inference Making (is a E4 Period) P8 took place on or within (witnessed) E18 Physical Thing CIDOC CRM version 6.2
S5 Inference Making (is a E4 Period) P9 consists of (forms part of) E4 Period CIDOC CRM version 6.2
S5 Inference Making (is a E4 Period) Q1 occupied SP1 Phenomenal Spacetime Volume CRMgeo version 1.2
S5 Inference Making (is a E5 Event) P11 had participant (participated in) E39 Actor CIDOC CRM version 6.2
S5 Inference Making (is a E5 Event) P12 occurred in the presence of (was present at) E77 Persistent Item CIDOC CRM version 6.2
S5 Inference Making (is a E5 Event) O13 triggers (is triggered by) E5 Event CRMsci version 1.2.3
S5 Inference Making (is a E5 Event) O14 initializes (is initialized by) S16 State CRMsci version 1.2.3
S5 Inference Making (is a E7 Activity) P14 carried out by (performed) E39 Actor CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P15 was influenced by (influenced) E1 CRM Entity CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P16 used specific object (was used for) E70 Thing CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P17 was motivated by (motivated) E1 CRM Entity CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P19 was intended use of (was made for) E71 Man-Made Thing CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P20 had specific purpose (was purpose of) E5 Event CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P21 had general purpose (was purpose of) E55 Type CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P32 used general technique (was technique of) E55 Type CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P33 used specific technique (was used by) E29 Design or Procedure CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P125 used object of type (was type of object used in) E55 Type CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) P134 continued (was continued by) E7 Activity CIDOC CRM version 6.2
S5 Inference Making (is a E7 Activity) L29 has responsible organization (is responsible organization for) E40 Legal Body CRMdig version 3.2
S5 Inference Making (is a E7 Activity) L30 has operator (is operator of) E21 Person CRMdig version 3.2
S5 Inference Making (is a E7 Activity) L34 has contractor (is contractor for) E40 Legal Body CRMdig version 3.2
S5 Inference Making (is a E7 Activity) L35 has commissioner (is commissioner for) E40 Legal Body CRMdig version 3.2
S5 Inference Making (is a E13 Attribute Assignment) P140 assigned attribute to (was attributed by) E1 CRM Entity CIDOC CRM version 6.2
S5 Inference Making (is a E13 Attribute Assignment) P141 assigned (was assigned by) E1 CRM Entity CIDOC CRM version 6.2
S5 Inference Making (is a E92 Spacetime Volume) P10 falls within (contains) E92 Spacetime Volume CIDOC CRM version 6.2
S5 Inference Making (is a E92 Spacetime Volume) P132 overlaps with E92 Spacetime Volume CIDOC CRM version 6.2
S5 Inference Making (is a E92 Spacetime Volume) P133 is separated from E92 Spacetime Volume CIDOC CRM version 6.2
S5 Inference Making (is a E92 Spacetime Volume) P160 has temporal projection (is temporal projection of) E52 Time-Span CIDOC CRM version 6.2
S5 Inference Making (is a E92 Spacetime Volume) P161 has spatial projection (is spatial projection of) E53 Place CIDOC CRM version 6.2
S5 Inference Making (is a SP1 Phenomenal Spacetime Volume) Q3 has temporal projection SP13 Phenomenal Time-Span CRMgeo version 1.2
S5 Inference Making (is a SP1 Phenomenal Spacetime Volume) Q4 has spatial projection SP2 Phenomenal Place CRMgeo version 1.2
S5 Inference Making (is a S15 Observable Entity) O12 has dimension (is dimension of) E54 Dimension CRMsci version 1.2.3

Incoming properties (this class is range)

Domain Property identifier Range Namespace

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E1 CRM Entity AP17 is found by (found) S5 Inference Making (is a E1 CRM Entity) CRMarchaeo version 1.4.1
E2 Temporal Entity P114 is equal in time to S5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P115 finishes (is finished by) S5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P116 starts (is started by) S5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P117 occurs during (includes) S5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P118 overlaps in time with (is overlapped in time by) S5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P119 meets in time with (is met in time by) S5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P120 occurs before (occurs after) S5 Inference Making (is a E2 Temporal Entity) CIDOC CRM version 6.2
E4 Period P9 consists of (forms part of) S5 Inference Making (is a E4 Period) CIDOC CRM version 6.2
E4 Period Q1 occupied S5 Inference Making (is a SP1 Phenomenal Spacetime Volume) CRMgeo version 1.2
E5 Event O13 triggers (is triggered by) S5 Inference Making (is a E5 Event) CRMsci version 1.2.3
E7 Activity P134 continued (was continued by) S5 Inference Making (is a E7 Activity) CIDOC CRM version 6.2
E7 Activity P15 was influenced by (influenced) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P17 was motivated by (motivated) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P20 had specific purpose (was purpose of) S5 Inference Making (is a E5 Event) CIDOC CRM version 6.2
E13 Attribute Assignment P140 assigned attribute to (was attributed by) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E13 Attribute Assignment P141 assigned (was assigned by) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E16 Measurement P39 measured (was measured by) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E17 Type Assignment P41 classified (was classified by) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E18 Physical Thing Q2 occupied S5 Inference Making (is a SP1 Phenomenal Spacetime Volume) CRMgeo version 1.2
E24 Physical Man-Made Thing P62 depicts (is depicted by) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E31 Document P70 documents (is documented in) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E32 Authority Document P71 lists (is listed in) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E36 Visual Item P138 represents (has representation) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E83 Type Creation P136 was based on (supported type creation) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P129 is about (is subject of) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P67 refers to (is referred to by) S5 Inference Making (is a E1 CRM Entity) CIDOC CRM version 6.2
E92 Spacetime Volume P10 falls within (contains) S5 Inference Making (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E92 Spacetime Volume P132 overlaps with S5 Inference Making (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E92 Spacetime Volume P133 is separated from S5 Inference Making (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E93 Presence P166 was a presence of (had presence) S5 Inference Making (is a E92 Spacetime Volume) CIDOC CRM version 6.2
F29 Recording Event R20 recorded (was recorded through) S5 Inference Making (is a E2 Temporal Entity) FRBRoo version 2.4
F35 Nomen Use Statement R38 refers to thema (is thema of) S5 Inference Making (is a E1 CRM Entity) FRBRoo version 2.4
F40 Identifier Assignment R45 assigned to (was assigned by) S5 Inference Making (is a E1 CRM Entity) FRBRoo version 2.4
F51 Pursuit R59 had typical subject (was typical subject of) S5 Inference Making (is a E1 CRM Entity) FRBRoo version 2.4
F52 Name Use Activity R63 named (was named by) S5 Inference Making (is a E1 CRM Entity) FRBRoo version 2.4
SP7 Declarative Spacetime Volume Q12 approximates S5 Inference Making (is a E92 Spacetime Volume) CRMgeo version 1.2
SP11 Temporal Reference System Q19 has reference event S5 Inference Making (is a E5 Event) CRMgeo version 1.2
S4 Observation O16 observed value (value was observed by) S5 Inference Making (is a E1 CRM Entity) CRMsci version 1.2.3
S4 Observation O8 observed (was observed by) S5 Inference Making (is a S15 Observable Entity) CRMsci version 1.2.3
S6 Data Evaluation O11 described (was described by) S5 Inference Making (is a S15 Observable Entity) CRMsci version 1.2.3
S21 Measurement O24 measured (was measured by) S5 Inference Making (is a S15 Observable Entity) CRMsci version 1.2.3
S22 Segment of Matter O23 is defined by (defines) S5 Inference Making (is a E92 Spacetime Volume) CRMsci version 1.2.3
D2 Digitization Process L60 documents S5 Inference Making (is a E1 CRM Entity) CRMdig version 3.2
D29 Annotation Object L43 annotates (is annotated by) S5 Inference Making (is a E1 CRM Entity) CRMdig version 3.2

Profiles using this class

Label Start date End date Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments