microsoft: is linux kernel

from Quasimodo
0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Related concepts

Parents os
Weight: 0.69
, software company
Weight: 0.65
, giant
Weight: 0.63
, xml
Weight: 0.60
Siblings azure
Weight: 0.47
, solaris
Weight: 0.39
, freebsd
Weight: 0.38
, unix
Weight: 0.38
, linux
Weight: 0.37

Related properties

Property Similarity
is linux kernel 1.00
is kernel 0.95
be called linux 0.93
related to linux 0.92
be better than linux 0.90
be named linux 0.90
be much interest in linux 0.88
recompiling os 0.84
be called unix 0.83
have binary firmware blobs 0.82

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.59
Rule weight: 0.66
Evidence weight: 0.97
Similarity weight: 0.92
Evidence: 0.70
Plausible(os, related to linux) ⋁
Evidence: 0.10
¬ Typical(microsoft, is linux kernel)

Plausibility inheritance from parent to child

0.04
Rule weight: 0.09
Evidence weight: 0.51
Similarity weight: 0.92
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.70
¬ Plausible(os, related to linux)

Remarkability exclusitivity betweem a parent and a child

0.21
Rule weight: 0.58
Evidence weight: 0.41
Similarity weight: 0.92
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.64
¬ Remarkable(os, related to linux)

Remarkability exclusitivity between siblings

0.12
Rule weight: 0.13
Evidence weight: 0.93
Similarity weight: 0.95
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.08
¬ Remarkable(linux, is kernel)
0.09
Rule weight: 0.13
Evidence weight: 0.76
Similarity weight: 0.90
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.26
¬ Remarkable(solaris, be better than linux)
0.07
Rule weight: 0.13
Evidence weight: 0.56
Similarity weight: 0.90
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.48
¬ Remarkable(freebsd, be better than linux)
0.03
Rule weight: 0.13
Evidence weight: 0.25
Similarity weight: 0.95
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.81
¬ Remarkable(unix, is kernel)
0.02
Rule weight: 0.13
Evidence weight: 0.15
Similarity weight: 0.84
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.92
¬ Remarkable(unix, recompiling os)
0.01
Rule weight: 0.13
Evidence weight: 0.08
Similarity weight: 0.93
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 1.00
¬ Remarkable(linux, be called linux)
0.01
Rule weight: 0.13
Evidence weight: 0.08
Similarity weight: 0.83
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.99
¬ Remarkable(unix, be called unix)

Remarkability from parent implausibility

0.38
Rule weight: 0.42
Evidence weight: 0.99
Similarity weight: 0.92
Evidence: 0.70
Plausible(os, related to linux) ⋁
Evidence: 0.93
Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.30
¬ Plausible(microsoft, is linux kernel)

Remarkability from sibling implausibility

0.56
Rule weight: 0.60
Evidence weight: 0.98
Similarity weight: 0.95
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.08
Remarkable(linux, is kernel) ⋁
Evidence: 0.03
¬ Plausible(linux, is kernel)
0.56
Rule weight: 0.60
Evidence weight: 0.98
Similarity weight: 0.95
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.81
Remarkable(unix, is kernel) ⋁
Evidence: 0.13
¬ Plausible(unix, is kernel)
0.56
Rule weight: 0.60
Evidence weight: 1.00
Similarity weight: 0.93
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 1.00
Remarkable(linux, be called linux) ⋁
Evidence: 0.21
¬ Plausible(linux, be called linux)
0.50
Rule weight: 0.60
Evidence weight: 1.00
Similarity weight: 0.83
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.99
Remarkable(unix, be called unix) ⋁
Evidence: 0.16
¬ Plausible(unix, be called unix)
0.49
Rule weight: 0.60
Evidence weight: 0.98
Similarity weight: 0.84
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.92
Remarkable(unix, recompiling os) ⋁
Evidence: 0.34
¬ Plausible(unix, recompiling os)
0.44
Rule weight: 0.60
Evidence weight: 0.81
Similarity weight: 0.90
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.26
Remarkable(solaris, be better than linux) ⋁
Evidence: 0.35
¬ Plausible(solaris, be better than linux)
0.40
Rule weight: 0.60
Evidence weight: 0.74
Similarity weight: 0.90
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.48
Remarkable(freebsd, be better than linux) ⋁
Evidence: 0.69
¬ Plausible(freebsd, be better than linux)

Salient implies Plausible

0.18
Rule weight: 0.28
Evidence weight: 0.64
Similarity weight: 1.00
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.52
¬ Salient(microsoft, is linux kernel)

Similarity expansion

0.71
Rule weight: 0.85
Evidence weight: 0.94
Similarity weight: 0.88
Evidence: 0.10
Typical(microsoft, is linux kernel) ⋁
Evidence: 0.07
¬ Typical(microsoft, be much interest in linux)
0.70
Rule weight: 0.85
Evidence weight: 0.93
Similarity weight: 0.88
Evidence: 0.93
Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.98
¬ Remarkable(microsoft, be much interest in linux)
0.60
Rule weight: 0.85
Evidence weight: 0.80
Similarity weight: 0.88
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.28
¬ Plausible(microsoft, be much interest in linux)
0.54
Rule weight: 0.85
Evidence weight: 0.72
Similarity weight: 0.88
Evidence: 0.52
Salient(microsoft, is linux kernel) ⋁
Evidence: 0.57
¬ Salient(microsoft, be much interest in linux)

Typical and Remarkable implies Salient

0.13
Rule weight: 0.14
Evidence weight: 0.95
Similarity weight: 1.00
Evidence: 0.52
Salient(microsoft, is linux kernel) ⋁
Evidence: 0.10
¬ Typical(microsoft, is linux kernel) ⋁
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel)

Typical implies Plausible

0.44
Rule weight: 0.48
Evidence weight: 0.93
Similarity weight: 1.00
Evidence: 0.30
Plausible(microsoft, is linux kernel) ⋁
Evidence: 0.10
¬ Typical(microsoft, is linux kernel)

Typicality and Rermarkability incompatibility between a parent and a child

0.15
Rule weight: 0.51
Evidence weight: 0.33
Similarity weight: 0.92
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.73
¬ Typical(os, related to linux)

Typicality and Rermarkability incompatibility between siblings

0.13
Rule weight: 0.14
Evidence weight: 0.97
Similarity weight: 0.95
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.03
¬ Typical(unix, is kernel)
0.12
Rule weight: 0.14
Evidence weight: 0.98
Similarity weight: 0.93
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.02
¬ Typical(linux, be called linux)
0.11
Rule weight: 0.14
Evidence weight: 1.00
Similarity weight: 0.83
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.00
¬ Typical(unix, be called unix)
0.11
Rule weight: 0.14
Evidence weight: 0.86
Similarity weight: 0.95
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.15
¬ Typical(linux, is kernel)
0.10
Rule weight: 0.14
Evidence weight: 0.88
Similarity weight: 0.84
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.13
¬ Typical(unix, recompiling os)
0.06
Rule weight: 0.14
Evidence weight: 0.49
Similarity weight: 0.90
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.55
¬ Typical(solaris, be better than linux)
0.03
Rule weight: 0.14
Evidence weight: 0.27
Similarity weight: 0.90
Evidence: 0.93
¬ Remarkable(microsoft, is linux kernel) ⋁
Evidence: 0.79
¬ Typical(freebsd, be better than linux)

Typicality inheritance from parent to child

0.16
Rule weight: 0.48
Evidence weight: 0.35
Similarity weight: 0.92
Evidence: 0.10
Typical(microsoft, is linux kernel) ⋁
Evidence: 0.73
¬ Typical(os, related to linux)