ConceptNet 5: closed under equivalents re

closed under equivalents re is a type of…

en gen conditional exchange ⁽ⁿ⁾ ➜
en gen contraposition ⁽ⁿ⁾ ➜
en gen de morgan ⁽ⁿ⁾ ➜
en gen exportation ⁽ⁿ⁾ ➜

Types of closed under equivalents re

en closed under consequences rc ⁽ⁿ⁾ ➜

Links to other resources

sw.opencyc.org /2012/05/10/concept/en/ClosedUnderEquivalents_RE