Instance UNION-AXIOM

• Defined in theory: Kif-sets
• Source code: kif-sets.lisp

Notes:

• Source: KIF Version 3.0 Specification