integer: be closed under addition

from Quasimodo
0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Related concepts

Parents rational number
Weight: 0.60
, thing
Weight: 0.53
, operation
Weight: 0.52
, variable
Weight: 0.51
, string
Weight: 0.51
Siblings irrational number
Weight: 0.49
, parameter
Weight: 0.32
, amplitude
Weight: 0.32
, vector
Weight: 0.31
, syntax
Weight: 0.31

Related properties

Property Similarity
be closed under addition 1.00
be closed under multiplication 0.76

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

Plausibility inference from child typicality

0.28
Rule weight: 0.66
Evidence weight: 0.42
Similarity weight: 1.00
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.58
¬ Typical(integer, be closed under addition)
0.25
Rule weight: 0.66
Evidence weight: 0.50
Similarity weight: 0.76
Evidence: 0.14
Plausible(rational number, be closed under multiplication) ⋁
Evidence: 0.58
¬ Typical(integer, be closed under addition)

Plausibility inheritance from parent to child

0.09
Rule weight: 0.09
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.76
Plausible(integer, be closed under addition) ⋁
Evidence: 0.00
¬ Plausible(rational number, be closed under addition)
0.07
Rule weight: 0.09
Evidence weight: 0.97
Similarity weight: 0.76
Evidence: 0.76
Plausible(integer, be closed under addition) ⋁
Evidence: 0.14
¬ Plausible(rational number, be closed under multiplication)

Remarkability exclusitivity betweem a parent and a child

0.58
Rule weight: 0.58
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.15
¬ Remarkable(integer, be closed under addition) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition)
0.44
Rule weight: 0.58
Evidence weight: 1.00
Similarity weight: 0.76
Evidence: 0.15
¬ Remarkable(integer, be closed under addition) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under multiplication)

Remarkability from parent implausibility

0.15
Rule weight: 0.42
Evidence weight: 0.36
Similarity weight: 1.00
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.15
Remarkable(integer, be closed under addition) ⋁
Evidence: 0.76
¬ Plausible(integer, be closed under addition)
0.14
Rule weight: 0.42
Evidence weight: 0.44
Similarity weight: 0.76
Evidence: 0.14
Plausible(rational number, be closed under multiplication) ⋁
Evidence: 0.15
Remarkable(integer, be closed under addition) ⋁
Evidence: 0.76
¬ Plausible(integer, be closed under addition)

Salient implies Plausible

0.27
Rule weight: 0.28
Evidence weight: 0.94
Similarity weight: 1.00
Evidence: 0.76
Plausible(integer, be closed under addition) ⋁
Evidence: 0.25
¬ Salient(integer, be closed under addition)

Similarity expansion

0.63
Rule weight: 0.85
Evidence weight: 0.98
Similarity weight: 0.76
Evidence: 0.76
Plausible(integer, be closed under addition) ⋁
Evidence: 0.07
¬ Plausible(integer, be closed under multiplication)
0.61
Rule weight: 0.85
Evidence weight: 0.94
Similarity weight: 0.76
Evidence: 0.25
Salient(integer, be closed under addition) ⋁
Evidence: 0.08
¬ Salient(integer, be closed under multiplication)
0.60
Rule weight: 0.85
Evidence weight: 0.92
Similarity weight: 0.76
Evidence: 0.15
Remarkable(integer, be closed under addition) ⋁
Evidence: 0.09
¬ Remarkable(integer, be closed under multiplication)
0.57
Rule weight: 0.85
Evidence weight: 0.88
Similarity weight: 0.76
Evidence: 0.58
Typical(integer, be closed under addition) ⋁
Evidence: 0.27
¬ Typical(integer, be closed under multiplication)

Typical and Remarkable implies Salient

0.13
Rule weight: 0.14
Evidence weight: 0.93
Similarity weight: 1.00
Evidence: 0.25
Salient(integer, be closed under addition) ⋁
Evidence: 0.58
¬ Typical(integer, be closed under addition) ⋁
Evidence: 0.15
¬ Remarkable(integer, be closed under addition)

Typical implies Plausible

0.41
Rule weight: 0.48
Evidence weight: 0.86
Similarity weight: 1.00
Evidence: 0.76
Plausible(integer, be closed under addition) ⋁
Evidence: 0.58
¬ Typical(integer, be closed under addition)

Typicality and Rermarkability incompatibility between a parent and a child

0.50
Rule weight: 0.51
Evidence weight: 0.98
Similarity weight: 1.00
Evidence: 0.15
¬ Remarkable(integer, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under addition)
0.38
Rule weight: 0.51
Evidence weight: 0.98
Similarity weight: 0.76
Evidence: 0.15
¬ Remarkable(integer, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under multiplication)

Typicality inheritance from parent to child

0.46
Rule weight: 0.48
Evidence weight: 0.95
Similarity weight: 1.00
Evidence: 0.58
Typical(integer, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under addition)
0.35
Rule weight: 0.48
Evidence weight: 0.95
Similarity weight: 0.76
Evidence: 0.58
Typical(integer, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under multiplication)