rational number: be closed under addition

from Quasimodo
0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Related concepts

Parents number
Weight: 0.73
, real number
Weight: 0.63
, problem
Weight: 0.62
, object
Weight: 0.55
Siblings irrational number
Weight: 0.82
, integer
Weight: 0.60
, complex number
Weight: 0.38
, imaginary number
Weight: 0.38
, social security number
Weight: 0.37

Related properties

Property Similarity
be closed under addition 1.00
be closed under division 0.83
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.62
Rule weight: 0.66
Evidence weight: 0.93
Similarity weight: 1.00
Evidence: 0.37
Plausible(number, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under addition)
0.59
Rule weight: 0.66
Evidence weight: 0.89
Similarity weight: 1.00
Evidence: 0.01
Plausible(real number, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under addition)
0.46
Rule weight: 0.66
Evidence weight: 0.91
Similarity weight: 0.76
Evidence: 0.21
Plausible(number, be closed under multiplication) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under addition)

Plausibility inheritance from parent to child

0.09
Rule weight: 0.09
Evidence weight: 0.99
Similarity weight: 1.00
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.01
¬ Plausible(real number, be closed under addition)
0.06
Rule weight: 0.09
Evidence weight: 0.63
Similarity weight: 1.00
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.37
¬ Plausible(number, be closed under addition)
0.06
Rule weight: 0.09
Evidence weight: 0.79
Similarity weight: 0.76
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.21
¬ Plausible(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.00
¬ Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.01
¬ Remarkable(real number, be closed under addition)
0.57
Rule weight: 0.58
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.26
¬ Remarkable(number, be closed under addition)
0.44
Rule weight: 0.58
Evidence weight: 1.00
Similarity weight: 0.76
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.19
¬ Remarkable(number, be closed under multiplication)

Remarkability exclusitivity between siblings

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

Remarkability from parent implausibility

0.42
Rule weight: 0.42
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.37
Plausible(number, be closed under addition) ⋁
Evidence: 0.00
Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Plausible(rational number, be closed under addition)
0.42
Rule weight: 0.42
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.01
Plausible(real number, be closed under addition) ⋁
Evidence: 0.00
Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Plausible(rational number, be closed under addition)
0.32
Rule weight: 0.42
Evidence weight: 1.00
Similarity weight: 0.76
Evidence: 0.21
Plausible(number, be closed under multiplication) ⋁
Evidence: 0.00
Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Plausible(rational number, be closed under addition)

Remarkability from sibling implausibility

0.42
Rule weight: 0.60
Evidence weight: 0.93
Similarity weight: 0.76
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.09
Remarkable(integer, be closed under multiplication) ⋁
Evidence: 0.07
¬ Plausible(integer, be closed under multiplication)
0.21
Rule weight: 0.60
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)

Salient implies Plausible

0.28
Rule weight: 0.28
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Salient(rational number, be closed under addition)

Similarity expansion

0.71
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.83
Evidence: 0.00
Salient(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Salient(rational number, be closed under division)
0.71
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.83
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Plausible(rational number, be closed under division)
0.71
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.83
Evidence: 0.00
Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under division)
0.65
Rule weight: 0.85
Evidence weight: 0.91
Similarity weight: 0.83
Evidence: 0.11
Typical(rational number, be closed under addition) ⋁
Evidence: 0.10
¬ Typical(rational number, be closed under division)
0.65
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.76
Evidence: 0.00
Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under multiplication)
0.64
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.76
Evidence: 0.00
Salient(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Salient(rational number, be closed under multiplication)
0.58
Rule weight: 0.85
Evidence weight: 0.91
Similarity weight: 0.76
Evidence: 0.11
Typical(rational number, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under multiplication)
0.56
Rule weight: 0.85
Evidence weight: 0.86
Similarity weight: 0.76
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.14
¬ Plausible(rational number, be closed under multiplication)

Typical and Remarkable implies Salient

0.14
Rule weight: 0.14
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.00
Salient(rational number, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under addition) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition)

Typical implies Plausible

0.43
Rule weight: 0.48
Evidence weight: 0.89
Similarity weight: 1.00
Evidence: 0.00
Plausible(rational number, be closed under addition) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under addition)

Typicality and Rermarkability incompatibility between a parent and a child

0.51
Rule weight: 0.51
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.14
¬ Typical(real number, be closed under addition)
0.51
Rule weight: 0.51
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.61
¬ Typical(number, be closed under addition)
0.39
Rule weight: 0.51
Evidence weight: 1.00
Similarity weight: 0.76
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.49
¬ Typical(number, be closed under multiplication)

Typicality and Rermarkability incompatibility between siblings

0.14
Rule weight: 0.14
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.58
¬ Typical(integer, be closed under addition)
0.10
Rule weight: 0.14
Evidence weight: 1.00
Similarity weight: 0.76
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition) ⋁
Evidence: 0.27
¬ Typical(integer, be closed under multiplication)

Typicality inheritance from parent to child

0.43
Rule weight: 0.48
Evidence weight: 0.88
Similarity weight: 1.00
Evidence: 0.11
Typical(rational number, be closed under addition) ⋁
Evidence: 0.14
¬ Typical(real number, be closed under addition)
0.22
Rule weight: 0.48
Evidence weight: 0.45
Similarity weight: 1.00
Evidence: 0.11
Typical(rational number, be closed under addition) ⋁
Evidence: 0.61
¬ Typical(number, be closed under addition)
0.21
Rule weight: 0.48
Evidence weight: 0.56
Similarity weight: 0.76
Evidence: 0.11
Typical(rational number, be closed under addition) ⋁
Evidence: 0.49
¬ Typical(number, be closed under multiplication)