Relation pm#logical_relation__logicalrelation (pm#description,pm#description)
  supertype:  pm#relation_from_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