integer: be closed under subtraction

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 subtraction 1.00
be closed under multiplication 0.81

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.49
Rule weight: 0.66
Evidence weight: 0.73
Similarity weight: 1.00
Evidence: 0.14
Plausible(rational number, be closed under subtraction) ⋁
Evidence: 0.31
¬ Typical(integer, be closed under subtraction)
0.39
Rule weight: 0.66
Evidence weight: 0.73
Similarity weight: 0.81
Evidence: 0.14
Plausible(rational number, be closed under multiplication) ⋁
Evidence: 0.31
¬ Typical(integer, be closed under subtraction)

Plausibility inheritance from parent to child

0.09
Rule weight: 0.09
Evidence weight: 0.92
Similarity weight: 1.00
Evidence: 0.43
Plausible(integer, be closed under subtraction) ⋁
Evidence: 0.14
¬ Plausible(rational number, be closed under subtraction)
0.07
Rule weight: 0.09
Evidence weight: 0.92
Similarity weight: 0.81
Evidence: 0.43
Plausible(integer, be closed under subtraction) ⋁
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.06
¬ Remarkable(integer, be closed under subtraction) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under subtraction)
0.46
Rule weight: 0.58
Evidence weight: 1.00
Similarity weight: 0.81
Evidence: 0.06
¬ Remarkable(integer, be closed under subtraction) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under multiplication)

Remarkability from parent implausibility

0.27
Rule weight: 0.42
Evidence weight: 0.65
Similarity weight: 1.00
Evidence: 0.14
Plausible(rational number, be closed under subtraction) ⋁
Evidence: 0.06
Remarkable(integer, be closed under subtraction) ⋁
Evidence: 0.43
¬ Plausible(integer, be closed under subtraction)
0.22
Rule weight: 0.42
Evidence weight: 0.65
Similarity weight: 0.81
Evidence: 0.14
Plausible(rational number, be closed under multiplication) ⋁
Evidence: 0.06
Remarkable(integer, be closed under subtraction) ⋁
Evidence: 0.43
¬ Plausible(integer, be closed under subtraction)

Salient implies Plausible

0.27
Rule weight: 0.28
Evidence weight: 0.95
Similarity weight: 1.00
Evidence: 0.43
Plausible(integer, be closed under subtraction) ⋁
Evidence: 0.09
¬ Salient(integer, be closed under subtraction)

Similarity expansion

0.66
Rule weight: 0.85
Evidence weight: 0.96
Similarity weight: 0.81
Evidence: 0.43
Plausible(integer, be closed under subtraction) ⋁
Evidence: 0.07
¬ Plausible(integer, be closed under multiplication)
0.64
Rule weight: 0.85
Evidence weight: 0.93
Similarity weight: 0.81
Evidence: 0.09
Salient(integer, be closed under subtraction) ⋁
Evidence: 0.08
¬ Salient(integer, be closed under multiplication)
0.63
Rule weight: 0.85
Evidence weight: 0.92
Similarity weight: 0.81
Evidence: 0.06
Remarkable(integer, be closed under subtraction) ⋁
Evidence: 0.09
¬ Remarkable(integer, be closed under multiplication)
0.56
Rule weight: 0.85
Evidence weight: 0.81
Similarity weight: 0.81
Evidence: 0.31
Typical(integer, be closed under subtraction) ⋁
Evidence: 0.27
¬ Typical(integer, be closed under multiplication)

Typical and Remarkable implies Salient

0.14
Rule weight: 0.14
Evidence weight: 0.98
Similarity weight: 1.00
Evidence: 0.09
Salient(integer, be closed under subtraction) ⋁
Evidence: 0.31
¬ Typical(integer, be closed under subtraction) ⋁
Evidence: 0.06
¬ Remarkable(integer, be closed under subtraction)

Typical implies Plausible

0.39
Rule weight: 0.48
Evidence weight: 0.82
Similarity weight: 1.00
Evidence: 0.43
Plausible(integer, be closed under subtraction) ⋁
Evidence: 0.31
¬ Typical(integer, be closed under subtraction)

Typicality and Rermarkability incompatibility between a parent and a child

0.51
Rule weight: 0.51
Evidence weight: 0.99
Similarity weight: 1.00
Evidence: 0.06
¬ Remarkable(integer, be closed under subtraction) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under subtraction)
0.41
Rule weight: 0.51
Evidence weight: 0.99
Similarity weight: 0.81
Evidence: 0.06
¬ Remarkable(integer, be closed under subtraction) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under multiplication)

Typicality inheritance from parent to child

0.45
Rule weight: 0.48
Evidence weight: 0.93
Similarity weight: 1.00
Evidence: 0.31
Typical(integer, be closed under subtraction) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under subtraction)
0.36
Rule weight: 0.48
Evidence weight: 0.93
Similarity weight: 0.81
Evidence: 0.31
Typical(integer, be closed under subtraction) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under multiplication)