recursion: be at program

from ConceptNet
0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Related concepts

Parents concept
Weight: 0.59
, object
Weight: 0.49
, thing
Weight: 0.48
, feature
Weight: 0.46
Siblings logic
Weight: 0.33
, singularity
Weight: 0.32
, code
Weight: 0.32
, multiplication
Weight: 0.32
, noun
Weight: 0.31

Related properties

Property Similarity
be at program 1.00
be defined as write computer program 0.78

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.77
Similarity weight: 0.78
Evidence: 0.83
¬ Remarkable(recursion, be at program)
Evidence: 0.27
¬ Remarkable(code, be defined as write computer program)

Remarkability from sibling implausibility

0.40
Rule weight: 0.60
Evidence weight: 0.86
Similarity weight: 0.78
Evidence: 0.57
Plausible(recursion, be at program)
Evidence: 0.27
Remarkable(code, be defined as write computer program)
Evidence: 0.44
¬ Plausible(code, be defined as write computer program)

Salient implies Plausible

0.18
Rule weight: 0.28
Evidence weight: 0.63
Similarity weight: 1.00
Evidence: 0.57
Plausible(recursion, be at program)
Evidence: 0.85
¬ Salient(recursion, be at program)

Typical and Remarkable implies Salient

0.14
Rule weight: 0.14
Evidence weight: 0.98
Similarity weight: 1.00
Evidence: 0.85
Salient(recursion, be at program)
Evidence: 0.18
¬ Typical(recursion, be at program)
Evidence: 0.83
¬ Remarkable(recursion, be at program)

Typical implies Plausible

0.44
Rule weight: 0.48
Evidence weight: 0.92
Similarity weight: 1.00
Evidence: 0.57
Plausible(recursion, be at program)
Evidence: 0.18
¬ Typical(recursion, be at program)

Typicality and Rermarkability incompatibility between siblings

0.08
Rule weight: 0.14
Evidence weight: 0.73
Similarity weight: 0.78
Evidence: 0.83
¬ Remarkable(recursion, be at program)
Evidence: 0.33
¬ Typical(code, be defined as write computer program)