From 20a2300ec4445d4b6b23c1f122c5ba5429c5403a Mon Sep 17 00:00:00 2001
From: Linas Vepstas <linasvepstas@gmail.com>
Date: Thu, 9 Sep 2021 11:26:31 -0500
Subject: [PATCH] Add UnionLink, etc. to the Atom Types. See #2814.

---
 opencog/atoms/atom_types/atom_types.script | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/opencog/atoms/atom_types/atom_types.script b/opencog/atoms/atom_types/atom_types.script
index 42955af15d..49a7be62c8 100644
--- a/opencog/atoms/atom_types/atom_types.script
+++ b/opencog/atoms/atom_types/atom_types.script
@@ -165,11 +165,6 @@ MEMBER_LINK <- ORDERED_LINK
 // the probability.
 CONTEXT_LINK <- ORDERED_LINK
 
-// Measure-theoretic (probabilistic) versions of AND_LINK, OR_LINK
-// These use probabilistic formulas to compute truth values.
-// UNION_LINK <- OR_LINK
-// INTERSECTION_LINK <- AND_LINK
-
 // Binary-valued (0/1, T/F) Boolean algebra operations and logical
 // constants. These are used by the pattern matcher to compute
 // crisp-logic boolean algebra combinations of predicates (that is,
@@ -188,6 +183,13 @@ NOT_LINK <- UNORDERED_LINK,CRISP_OUTPUT_LINK,BOOLEAN_LINK
 SEQUENTIAL_AND_LINK <- ORDERED_LINK,CRISP_OUTPUT_LINK,BOOLEAN_LINK
 SEQUENTIAL_OR_LINK <- ORDERED_LINK,CRISP_OUTPUT_LINK,BOOLEAN_LINK
 
+// Measure-theoretic (probabilistic) versions of AND_LINK, OR_LINK
+// These use probabilistic formulas to compute truth values.
+// See issue opencog/atomspace#2814 for a discussion.
+UNION_LINK <- OR_LINK
+INTERSECTION_LINK <- AND_LINK
+COMPLEMENT_LINK <- NOT_LINK
+
 // ====================================================================
 // Pattern-engine links. These have a special meaning for the pattern
 // engine; they are used to specify what is searched for.