# integer: be closed under addition

from Quasimodo

## Related concepts

 Parents rational numberWeight: 0.60, thingWeight: 0.53, operationWeight: 0.52, variableWeight: 0.51, stringWeight: 0.51 Siblings irrational numberWeight: 0.49, parameterWeight: 0.32, amplitudeWeight: 0.32, vectorWeight: 0.31, syntaxWeight: 0.31

## Related properties

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

## 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
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
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
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
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
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
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
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
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
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
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
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
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