theorem: be important in math

from Quasimodo
0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Related concepts

Parents concept
Weight: 0.53
, thing
Weight: 0.48
, statement
Weight: 0.46
, time
Weight: 0.44
, topic
Weight: 0.44
Siblings theory
Weight: 0.33
, quantum physics
Weight: 0.33
, string theory
Weight: 0.32
, logic
Weight: 0.32
, principle
Weight: 0.32

Related properties

Property Similarity
be important in math 1.00
be important in geometry 0.76

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.08
Rule weight: 0.13
Evidence weight: 0.64
Similarity weight: 1.00
Evidence: 0.56
¬ Remarkable(theorem, be important in math) ⋁
Evidence: 0.65
¬ Remarkable(logic, be important in math)

Remarkability from sibling implausibility

0.58
Rule weight: 0.60
Evidence weight: 0.96
Similarity weight: 1.00
Evidence: 0.82
Plausible(theorem, be important in math) ⋁
Evidence: 0.65
Remarkable(logic, be important in math) ⋁
Evidence: 0.69
¬ Plausible(logic, be important in math)

Salient implies Plausible

0.24
Rule weight: 0.28
Evidence weight: 0.85
Similarity weight: 1.00
Evidence: 0.82
Plausible(theorem, be important in math) ⋁
Evidence: 0.87
¬ Salient(theorem, be important in math)

Similarity expansion

0.59
Rule weight: 0.85
Evidence weight: 0.91
Similarity weight: 0.76
Evidence: 0.88
Typical(theorem, be important in math) ⋁
Evidence: 0.70
¬ Typical(theorem, be important in geometry)
0.58
Rule weight: 0.85
Evidence weight: 0.90
Similarity weight: 0.76
Evidence: 0.87
Salient(theorem, be important in math) ⋁
Evidence: 0.78
¬ Salient(theorem, be important in geometry)
0.57
Rule weight: 0.85
Evidence weight: 0.88
Similarity weight: 0.76
Evidence: 0.82
Plausible(theorem, be important in math) ⋁
Evidence: 0.70
¬ Plausible(theorem, be important in geometry)
0.46
Rule weight: 0.85
Evidence weight: 0.71
Similarity weight: 0.76
Evidence: 0.56
Remarkable(theorem, be important in math) ⋁
Evidence: 0.66
¬ Remarkable(theorem, be important in geometry)

Typical and Remarkable implies Salient

0.13
Rule weight: 0.14
Evidence weight: 0.94
Similarity weight: 1.00
Evidence: 0.87
Salient(theorem, be important in math) ⋁
Evidence: 0.88
¬ Typical(theorem, be important in math) ⋁
Evidence: 0.56
¬ Remarkable(theorem, be important in math)

Typical implies Plausible

0.40
Rule weight: 0.48
Evidence weight: 0.84
Similarity weight: 1.00
Evidence: 0.82
Plausible(theorem, be important in math) ⋁
Evidence: 0.88
¬ Typical(theorem, be important in math)

Typicality and Rermarkability incompatibility between siblings

0.08
Rule weight: 0.14
Evidence weight: 0.60
Similarity weight: 1.00
Evidence: 0.56
¬ Remarkable(theorem, be important in math) ⋁
Evidence: 0.71
¬ Typical(logic, be important in math)