Relation pm#relation_from_description (pm#description,*)
  supertype:  pm#relation_from_description_content/medium/container
  subtype:  pm#descr_container__description_support___descr_support (pm#description,pm#description_container)  permits to associate a statement with an object on which it is represented
  subtype:  pm#logical_relation__logicalrelation (pm#description,pm#description)
     subtype:  pm#and (pm#description,pm#description)
     subtype:  pm#contextualizing_logical_relation__contextualizinglogicalrelation (pm#description,pm#description)
        subtype:  pm#or (pm#description,pm#description)
        subtype:  pm#xor__either (pm#description,pm#description)
        subtype:  pm#implication__then___therefore__therefore (pm#description,pm#description)
           subtype:  pm#equivalence__equivalentTo___iff__iff (pm#description,pm#description)
           subtype:  sumo#entails__entail (sumo#formula,sumo#formula)  the second argument is logically entailed from the first by means of the proof theory of SUO-KIF
  subtype:  pm#contextualizing_relation__contextualizingrelation (pm#description,*)
     subtype:  pm#contextualizing_logical_relation__contextualizinglogicalrelation (pm#description,pm#description)
     subtype:  pm#modality (pm#description,pm#modality_measure)
     subtype:  pm#believer (pm#description,pm#causal_entity)
     subtype:  pm#overriding_specialization (pm#description,pm#description)
     subtype:  pm#corrective_statement (pm#description,pm#description)
        subtype:  pm#corrective_specialization (pm#description,pm#description)
           subtype:  pm#corrective_existential_specialization (pm#description,pm#description)
        subtype:  pm#corrective_generalization (pm#description,pm#description)
           subtype:  pm#corrective_existential_generalization (pm#description,pm#description)
        subtype:  pm#corrective_restriction__corrective_precision (pm#description,pm#description)
           subtype:  pm#corrective_existential_specialization (pm#description,pm#description)
        subtype:  pm#corrective_extension (pm#description,pm#description)
        subtype:  pm#corrective_reformulation (pm#description,pm#description)
        subtype:  pm#correction (pm#description,pm#description)
  subtype:  pm#probability_relation__probabilityrelation (sumo#formula,?)
     subtype:  sumo#probability_fn__probabilityfn (sumo#formula -> sumo#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:  sumo#conditional_probability__conditionalprobability (sumo#formula,sumo#formula,sumo#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:  sumo#increases_likelihood__increaseslikelihood__increases_likelihood_of (sumo#formula,sumo#formula)  the 2nd formula is more likely to be true if the 1st is true
     subtype:  sumo#decreases_likelihood__decreaseslikelihood__decreases_likelihood_of (sumo#formula,sumo#formula)  the 2nd formula is less likely to be true if the 1st is true
     subtype:  sumo#independent_probability__independentprobability (sumo#formula,sumo#formula)  the probabilities of the formulas being true are independent