Relation pm#relation_from_description (description,*)
  supertype:  relation_from_description_content/medium/container
  subtype:  descr_container__description_support___descr_support (description,description_container)  permits to associate a statement with an object on which it is represented
  subtype:  logical_relation__logicalrelation (description,description)
     subtype:  and (description,description)
     subtype:  contextualizing_logical_relation__contextualizinglogicalrelation (description,description)
        subtype:  or (description,description)
        subtype:  xor__either (description,description)
        subtype:  implication__then___therefore__therefore (description,description)
           subtype:  equivalence__equivalentTo___iff__iff (description,description)
           subtype:  entails__entail (formula,formula)  the second argument is logically entailed from the first by means of the proof theory of SUO-KIF
  subtype:  contextualizing_relation__contextualizingrelation (description,*)
     subtype:  contextualizing_logical_relation__contextualizinglogicalrelation (description,description)
     subtype:  modality (description,modality_measure)
     subtype:  believer (description,causal_entity)
     subtype:  overriding_specialization (description,description)
     subtype:  corrective_statement (description,description)
        subtype:  corrective_specialization (description,description)
           subtype:  corrective_existential_specialization (description,description)
        subtype:  corrective_generalization (description,description)
           subtype:  corrective_existential_generalization (description,description)
        subtype:  corrective_restriction__corrective_precision (description,description)
           subtype:  corrective_existential_specialization (description,description)
        subtype:  corrective_extension (description,description)
        subtype:  corrective_reformulation (description,description)
        subtype:  correction (description,description)
  subtype:  probability_relation__probabilityrelation (formula,?)
     subtype:  probability_fn__probabilityfn (formula -> real_number)  one of the basic probability_relations, probability_fn is used to state the a priori probability of a state of affairs represented by the given formula
     subtype:  conditional_probability__conditionalprobability (formula,formula,real_number)  the probability of 'the 2nd formula being true given that the 1st formula is true' is the number given as 3rd parameter
     subtype:  increases_likelihood__increaseslikelihood__increases_likelihood_of (formula,formula)  the 2nd formula is more likely to be true if the 1st is true
     subtype:  decreases_likelihood__decreaseslikelihood__decreases_likelihood_of (formula,formula)  the 2nd formula is less likely to be true if the 1st is true
     subtype:  independent_probability__independentprobability (formula,formula)  the probabilities of the formulas being true are independent