set: is closed

from Quasimodo
0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Related concepts

Parents setting
Weight: 0.70
, option
Weight: 0.59
, concept
Weight: 0.59
, challenge
Weight: 0.59
Siblings empty set
Weight: 0.65
, ordinal number
Weight: 0.48
, mirage
Weight: 0.46
, lock
Weight: 0.31
, put
Weight: 0.31

Related properties

Property Similarity
is closed 1.00
is open 0.80

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

Remarkability exclusitivity between siblings

0.13
Rule weight: 0.13
Evidence weight: 0.97
Similarity weight: 1.00
Evidence: 0.11
¬ Remarkable(set, is closed) ⋁
Evidence: 0.31
¬ Remarkable(empty set, is closed)
0.10
Rule weight: 0.13
Evidence weight: 0.98
Similarity weight: 0.80
Evidence: 0.11
¬ Remarkable(set, is closed) ⋁
Evidence: 0.21
¬ Remarkable(empty set, is open)

Remarkability from sibling implausibility

0.56
Rule weight: 0.60
Evidence weight: 0.93
Similarity weight: 1.00
Evidence: 0.04
Plausible(set, is closed) ⋁
Evidence: 0.31
Remarkable(empty set, is closed) ⋁
Evidence: 0.11
¬ Plausible(empty set, is closed)
0.46
Rule weight: 0.60
Evidence weight: 0.96
Similarity weight: 0.80
Evidence: 0.04
Plausible(set, is closed) ⋁
Evidence: 0.21
Remarkable(empty set, is open) ⋁
Evidence: 0.05
¬ Plausible(empty set, is open)

Salient implies Plausible

0.26
Rule weight: 0.28
Evidence weight: 0.94
Similarity weight: 1.00
Evidence: 0.04
Plausible(set, is closed) ⋁
Evidence: 0.06
¬ Salient(set, is closed)

Similarity expansion

0.68
Rule weight: 0.85
Evidence weight: 0.99
Similarity weight: 0.80
Evidence: 0.17
Typical(set, is closed) ⋁
Evidence: 0.01
¬ Typical(set, is open)
0.56
Rule weight: 0.85
Evidence weight: 0.82
Similarity weight: 0.80
Evidence: 0.04
Plausible(set, is closed) ⋁
Evidence: 0.19
¬ Plausible(set, is open)
0.38
Rule weight: 0.85
Evidence weight: 0.55
Similarity weight: 0.80
Evidence: 0.06
Salient(set, is closed) ⋁
Evidence: 0.48
¬ Salient(set, is open)
0.08
Rule weight: 0.85
Evidence weight: 0.12
Similarity weight: 0.80
Evidence: 0.11
Remarkable(set, is closed) ⋁
Evidence: 0.99
¬ Remarkable(set, is open)

Typical and Remarkable implies Salient

0.14
Rule weight: 0.14
Evidence weight: 0.98
Similarity weight: 1.00
Evidence: 0.06
Salient(set, is closed) ⋁
Evidence: 0.17
¬ Typical(set, is closed) ⋁
Evidence: 0.11
¬ Remarkable(set, is closed)

Typical implies Plausible

0.40
Rule weight: 0.48
Evidence weight: 0.84
Similarity weight: 1.00
Evidence: 0.04
Plausible(set, is closed) ⋁
Evidence: 0.17
¬ Typical(set, is closed)

Typicality and Rermarkability incompatibility between siblings

0.13
Rule weight: 0.14
Evidence weight: 0.98
Similarity weight: 1.00
Evidence: 0.11
¬ Remarkable(set, is closed) ⋁
Evidence: 0.16
¬ Typical(empty set, is closed)
0.11
Rule weight: 0.14
Evidence weight: 0.99
Similarity weight: 0.80
Evidence: 0.11
¬ Remarkable(set, is closed) ⋁
Evidence: 0.09
¬ Typical(empty set, is open)