# real number: be closed under addition

from Quasimodo

## Related concepts

 Parents irrational numberWeight: 0.79, rational numberWeight: 0.68, valueWeight: 0.66, subjectWeight: 0.62 Siblings complex numberWeight: 0.76, decimal pointWeight: 0.64, fractionWeight: 0.62, fourWeight: 0.47

## Related properties

 Similarity Property be closed under addition 1.00

## Clauses

### Plausibility inference from child typicality

0.57
Rule weight: 0.66
Evidence weight: 0.86
Similarity weight: 1.00
Evidence: 0.00
Plausible(rational number, be closed under addition)
Evidence: 0.14
¬ Typical(real number, 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.01
Plausible(real number, be closed under addition)
Evidence: 0.00
¬ Plausible(rational number, be closed under addition)

### Remarkability exclusitivity betweem a parent and a child

0.58
Rule weight: 0.58
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.01
¬ Remarkable(real number, be closed under addition)
Evidence: 0.00
¬ Remarkable(rational number, be closed under addition)

### Remarkability exclusitivity between siblings

0.13
Rule weight: 0.13
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.01
¬ Remarkable(real number, be closed under addition)
Evidence: 0.21
¬ Remarkable(fraction, be closed under addition)

### Remarkability from parent implausibility

0.42
Rule weight: 0.42
Evidence weight: 0.99
Similarity weight: 1.00
Evidence: 0.00
Plausible(rational number, be closed under addition)
Evidence: 0.01
Remarkable(real number, be closed under addition)
Evidence: 0.01
¬ Plausible(real number, be closed under addition)

### Remarkability from sibling implausibility

0.21
Rule weight: 0.60
Evidence weight: 0.35
Similarity weight: 1.00
Evidence: 0.01
Plausible(real number, be closed under addition)
Evidence: 0.21
Evidence: 0.83
¬ Plausible(fraction, be closed under addition)

### Salient implies Plausible

0.28
Rule weight: 0.28
Evidence weight: 0.99
Similarity weight: 1.00
Evidence: 0.01
Plausible(real number, be closed under addition)
Evidence: 0.01
¬ Salient(real number, be closed under addition)

### Typical and Remarkable implies Salient

0.14
Rule weight: 0.14
Evidence weight: 1.00
Similarity weight: 1.00
Evidence: 0.01
Salient(real number, be closed under addition)
Evidence: 0.14
¬ Typical(real number, be closed under addition)
Evidence: 0.01
¬ Remarkable(real number, be closed under addition)

### Typical implies Plausible

0.41
Rule weight: 0.48
Evidence weight: 0.86
Similarity weight: 1.00
Evidence: 0.01
Plausible(real number, be closed under addition)
Evidence: 0.14
¬ Typical(real 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.01
¬ Remarkable(real number, be closed under addition)
Evidence: 0.11
¬ Typical(rational number, be closed under addition)

### Typicality and Rermarkability incompatibility between siblings

0.13
Rule weight: 0.14
Evidence weight: 0.99
Similarity weight: 1.00
Evidence: 0.01
¬ Remarkable(real number, be closed under addition)
Evidence: 0.61
¬ Typical(fraction, be closed under addition)

### Typicality inheritance from parent to child

0.44
Rule weight: 0.48
Evidence weight: 0.91
Similarity weight: 1.00
Evidence: 0.14
Typical(real number, be closed under addition)
Evidence: 0.11
¬ Typical(rational number, be closed under addition)