mathematician: discover theorem

Related concepts

Parents	scientist Weight: 0.61 , specialist Weight: 0.59 , person Weight: 0.54 , expert Weight: 0.54
Siblings	astronomer Weight: 0.36

Related properties

Property	Similarity
discover theorem	1.00
prove mathematical theorem	0.92

Priors about this statement

Cues

Evidence

Clauses

Salient implies Plausible

0.21

Rule weight: 0.28
Evidence weight: 0.76
Similarity weight: 1.00

Evidence: 0.24

Plausible(mathematician, discover theorem) ⋁

Evidence: 0.32

¬ Salient(mathematician, discover theorem)

Similarity expansion

0.77

Rule weight: 0.85
Evidence weight: 0.98
Similarity weight: 0.92

Evidence: 0.92

Typical(mathematician, discover theorem) ⋁

Evidence: 0.30

¬ Typical(mathematician, prove mathematical theorem)

0.54

Rule weight: 0.85
Evidence weight: 0.69
Similarity weight: 0.92

Evidence: 0.45

Remarkable(mathematician, discover theorem) ⋁

Evidence: 0.56

¬ Remarkable(mathematician, prove mathematical theorem)

0.41

Rule weight: 0.85
Evidence weight: 0.52
Similarity weight: 0.92

Evidence: 0.32

Salient(mathematician, discover theorem) ⋁

Evidence: 0.71

¬ Salient(mathematician, prove mathematical theorem)

0.29

Rule weight: 0.85
Evidence weight: 0.37
Similarity weight: 0.92

Evidence: 0.24

Plausible(mathematician, discover theorem) ⋁

Evidence: 0.82

¬ Plausible(mathematician, prove mathematical theorem)

Typical and Remarkable implies Salient

0.10

Rule weight: 0.14
Evidence weight: 0.72
Similarity weight: 1.00

Evidence: 0.32

Salient(mathematician, discover theorem) ⋁

Evidence: 0.92

¬ Typical(mathematician, discover theorem) ⋁

Evidence: 0.45

¬ Remarkable(mathematician, discover theorem)

Typical implies Plausible

0.14

Rule weight: 0.48
Evidence weight: 0.30
Similarity weight: 1.00

Evidence: 0.24

Plausible(mathematician, discover theorem) ⋁

Evidence: 0.92

¬ Typical(mathematician, discover theorem)