operator: be defined for integers

Related concepts

Parents	company Weight: 0.70 , employee Weight: 0.66 , service Weight: 0.63 , person Weight: 0.60 , third party Weight: 0.60
Siblings	defendant Weight: 0.59 , internet service provider Weight: 0.36 , service station Weight: 0.35 , baa Weight: 0.35 , software company Weight: 0.35

Related properties

Property	Similarity
be defined for integers	1.00
be defined for int32	0.80

Priors about this statement

Cues

Evidence

Clauses

Salient implies Plausible

0.27

Rule weight: 0.28
Evidence weight: 0.97
Similarity weight: 1.00

Evidence: 0.96

Plausible(operator, be defined for integers) ⋁

Evidence: 0.70

¬ Salient(operator, be defined for integers)

Similarity expansion

0.66

Rule weight: 0.85
Evidence weight: 0.97
Similarity weight: 0.80

Evidence: 0.96

Plausible(operator, be defined for integers) ⋁

Evidence: 0.74

¬ Plausible(operator, be defined for int32)

0.54

Rule weight: 0.85
Evidence weight: 0.80
Similarity weight: 0.80

Evidence: 0.74

Typical(operator, be defined for integers) ⋁

Evidence: 0.78

¬ Typical(operator, be defined for int32)

0.52

Rule weight: 0.85
Evidence weight: 0.76
Similarity weight: 0.80

Evidence: 0.70

Salient(operator, be defined for integers) ⋁

Evidence: 0.79

¬ Salient(operator, be defined for int32)

0.45

Rule weight: 0.85
Evidence weight: 0.66
Similarity weight: 0.80

Evidence: 0.41

Remarkable(operator, be defined for integers) ⋁

Evidence: 0.58

¬ Remarkable(operator, be defined for int32)

Typical and Remarkable implies Salient

0.13

Rule weight: 0.14
Evidence weight: 0.91
Similarity weight: 1.00

Evidence: 0.70

Salient(operator, be defined for integers) ⋁

Evidence: 0.74

¬ Typical(operator, be defined for integers) ⋁

Evidence: 0.41

¬ Remarkable(operator, be defined for integers)

Typical implies Plausible

0.46

Rule weight: 0.48
Evidence weight: 0.97
Similarity weight: 1.00

Evidence: 0.96

Plausible(operator, be defined for integers) ⋁

Evidence: 0.74

¬ Typical(operator, be defined for integers)