rational number: be closed under subtraction

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 subtraction 1.00
be closed in subtraction 0.98
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.92
Similarity weight: 0.81
Evidence: 0.21
Plausible(number, be closed under multiplication) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under subtraction)

Plausibility inheritance from parent to child

0.06
Rule weight: 0.09
Evidence weight: 0.82
Similarity weight: 0.81
Evidence: 0.14
Plausible(rational number, be closed under subtraction) ⋁
Evidence: 0.21
¬ Plausible(number, be closed under multiplication)

Remarkability exclusitivity betweem a parent and a child

0.46
Rule weight: 0.58
Evidence weight: 1.00
Similarity weight: 0.81
Evidence: 0.00
¬ Remarkable(rational number, be closed under subtraction) ⋁
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 subtraction) ⋁
Evidence: 0.06
¬ Remarkable(integer, be closed under subtraction)
0.11
Rule weight: 0.13
Evidence weight: 1.00
Similarity weight: 0.81
Evidence: 0.00
¬ Remarkable(rational number, be closed under subtraction) ⋁
Evidence: 0.09
¬ Remarkable(integer, be closed under multiplication)

Remarkability from parent implausibility

0.30
Rule weight: 0.42
Evidence weight: 0.89
Similarity weight: 0.81
Evidence: 0.21
Plausible(number, be closed under multiplication) ⋁
Evidence: 0.00
Remarkable(rational number, be closed under subtraction) ⋁
Evidence: 0.14
¬ Plausible(rational number, be closed under subtraction)

Remarkability from sibling implausibility

0.46
Rule weight: 0.60
Evidence weight: 0.94
Similarity weight: 0.81
Evidence: 0.14
Plausible(rational number, be closed under subtraction) ⋁
Evidence: 0.09
Remarkable(integer, be closed under multiplication) ⋁
Evidence: 0.07
¬ Plausible(integer, be closed under multiplication)
0.39
Rule weight: 0.60
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)

Salient implies Plausible

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

Similarity expansion

0.83
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.98
Evidence: 0.00
Remarkable(rational number, be closed under subtraction) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed in subtraction)
0.83
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.98
Evidence: 0.00
Salient(rational number, be closed under subtraction) ⋁
Evidence: 0.00
¬ Salient(rational number, be closed in subtraction)
0.76
Rule weight: 0.85
Evidence weight: 0.91
Similarity weight: 0.98
Evidence: 0.11
Typical(rational number, be closed under subtraction) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed in subtraction)
0.74
Rule weight: 0.85
Evidence weight: 0.88
Similarity weight: 0.98
Evidence: 0.14
Plausible(rational number, be closed under subtraction) ⋁
Evidence: 0.14
¬ Plausible(rational number, be closed in subtraction)
0.69
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.81
Evidence: 0.00
Remarkable(rational number, be closed under subtraction) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under multiplication)
0.69
Rule weight: 0.85
Evidence weight: 1.00
Similarity weight: 0.81
Evidence: 0.00
Salient(rational number, be closed under subtraction) ⋁
Evidence: 0.00
¬ Salient(rational number, be closed under multiplication)
0.62
Rule weight: 0.85
Evidence weight: 0.90
Similarity weight: 0.81
Evidence: 0.11
Typical(rational number, be closed under subtraction) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under multiplication)
0.61
Rule weight: 0.85
Evidence weight: 0.88
Similarity weight: 0.81
Evidence: 0.14
Plausible(rational number, be closed under subtraction) ⋁
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 subtraction) ⋁
Evidence: 0.11
¬ Typical(rational number, be closed under subtraction) ⋁
Evidence: 0.00
¬ Remarkable(rational number, be closed under subtraction)

Typical implies Plausible

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

Typicality and Rermarkability incompatibility between a parent and a child

0.41
Rule weight: 0.51
Evidence weight: 1.00
Similarity weight: 0.81
Evidence: 0.00
¬ Remarkable(rational number, be closed under subtraction) ⋁
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 subtraction) ⋁
Evidence: 0.31
¬ Typical(integer, be closed under subtraction)
0.11
Rule weight: 0.14
Evidence weight: 1.00
Similarity weight: 0.81
Evidence: 0.00
¬ Remarkable(rational number, be closed under subtraction) ⋁
Evidence: 0.27
¬ Typical(integer, be closed under multiplication)

Typicality inheritance from parent to child

0.22
Rule weight: 0.48
Evidence weight: 0.56
Similarity weight: 0.81
Evidence: 0.11
Typical(rational number, be closed under subtraction) ⋁
Evidence: 0.49
¬ Typical(number, be closed under multiplication)