subtraction: be defined in arithmetic

from Quasimodo
0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Related concepts

Parents function
Weight: 0.59
, concept
Weight: 0.56
, arithmetic
Weight: 0.55
, process
Weight: 0.54
, topic
Weight: 0.54
Siblings trigonometric function
Weight: 0.33
, multiplication
Weight: 0.32
, math
Weight: 0.31
, logic
Weight: 0.31
, simple function
Weight: 0.31

Related properties

Property Similarity
be defined in arithmetic 1.00
be important for math 0.77

Priors about this statement

Cues

0.2 0.4 0.6 0.8 Joint Necessity Sufficiency Implication Entailment Contradiction Entropy

Evidence

0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Clauses

Remarkability exclusitivity between siblings

0.13
Rule weight: 0.13
Evidence weight: 0.99
Similarity weight: 1.00
Evidence: 0.02
¬ Remarkable(subtraction, be defined in arithmetic) ⋁
Evidence: 0.40
¬ Remarkable(multiplication, be defined in arithmetic)

Remarkability from sibling implausibility

0.42
Rule weight: 0.60
Evidence weight: 0.69
Similarity weight: 1.00
Evidence: 0.01
Plausible(subtraction, be defined in arithmetic) ⋁
Evidence: 0.40
Remarkable(multiplication, be defined in arithmetic) ⋁
Evidence: 0.52
¬ Plausible(multiplication, be defined in arithmetic)

Salient implies Plausible

0.28
Rule weight: 0.28
Evidence weight: 0.98
Similarity weight: 1.00
Evidence: 0.01
Plausible(subtraction, be defined in arithmetic) ⋁
Evidence: 0.02
¬ Salient(subtraction, be defined in arithmetic)

Similarity expansion

0.54
Rule weight: 0.85
Evidence weight: 0.82
Similarity weight: 0.77
Evidence: 0.02
Remarkable(subtraction, be defined in arithmetic) ⋁
Evidence: 0.18
¬ Remarkable(subtraction, be important for math)
0.49
Rule weight: 0.85
Evidence weight: 0.75
Similarity weight: 0.77
Evidence: 0.02
Salient(subtraction, be defined in arithmetic) ⋁
Evidence: 0.26
¬ Salient(subtraction, be important for math)
0.41
Rule weight: 0.85
Evidence weight: 0.63
Similarity weight: 0.77
Evidence: 0.01
Plausible(subtraction, be defined in arithmetic) ⋁
Evidence: 0.37
¬ Plausible(subtraction, be important for math)
0.30
Rule weight: 0.85
Evidence weight: 0.46
Similarity weight: 0.77
Evidence: 0.15
Typical(subtraction, be defined in arithmetic) ⋁
Evidence: 0.64
¬ Typical(subtraction, be important for math)

Typical and Remarkable implies Salient

0.14
Rule weight: 0.14
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.02
Salient(subtraction, be defined in arithmetic) ⋁
Evidence: 0.15
¬ Typical(subtraction, be defined in arithmetic) ⋁
Evidence: 0.02
¬ Remarkable(subtraction, be defined in arithmetic)

Typical implies Plausible

0.41
Rule weight: 0.48
Evidence weight: 0.85
Similarity weight: 1.00
Evidence: 0.01
Plausible(subtraction, be defined in arithmetic) ⋁
Evidence: 0.15
¬ Typical(subtraction, be defined in arithmetic)

Typicality and Rermarkability incompatibility between siblings

0.14
Rule weight: 0.14
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.02
¬ Remarkable(subtraction, be defined in arithmetic) ⋁
Evidence: 0.10
¬ Typical(multiplication, be defined in arithmetic)