#logical_relation__logicalrelation  a relation between logical propositions
  supertype:  #relation  an abstraction belonging to or characteristic of two entities or parts together
  subtype:  #contradictory  two propositions are contradictories if both cannot be true (or both cannot be false) at the same time
  subtype:  #contrary  two propositions are contraries if both cannot be true but both can be false
  subtype:  #modality.logical_relation__mode  a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
  subtype:  #logical_implication__logicalimplication__implication__conditional_relation__conditionalrelation  a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

No statement uses or specializes #logical_relation; click here to add one.