Relation MAKES-LIKELY

Relation for talking of something which allows an assessment of likelihood of an event or situation. Specialized axioms still lack.

Arity: 2

Range: Temporalized-entity

Subrelation-Of: Probability-relation

Axioms:

(=> (Makes-Likely ?A ?B)
    (And (_Actual ?A True) (_Epistemic ?B True)))

• Defined in theory: Assessment
• Source code: Assessment.lisp