Theory KIF-SETS

• Last modified: Thursday, 8 September 1994
• Source code: kif-sets.lisp
• List of all known theories

Theory documentation:

The KIF vocabulary for set theory as defined in the KIF 3.0 specification.

Notes:

• Source: KIF Version 3.0 Specification

Cross Reference Report:

No theories were included by Kif-Sets.

Theories that include Kif-Sets:

  Kif-Extensions
  Kif-Meta
  Kif-Relations

9 classes defined:

    Bounded
       Simple-Set
    Empty
    Individual
    Mutually-Disjoint
    Pairwise-Disjoint
    Set
       Proper-Set
       Simple-Set
    Unbounded

8 relations defined:

  /=
  =
  Disjoint
  Member
  Proper-Subset
  Set-Cover
  Set-Partition
  Subset

7 functions defined:

  Complement
  Difference
  Generalized-Intersection
  Generalized-Union
  Intersection
  Setof
  Union

8 instances defined:

  Axiom-Of-Choice
  Axiom-Of-Infinity
  Axiom-Of-Regularity
  Extensionality-Property-Of-Sets
  Finite-Set-Axiom
  Intersection-Axiom
  Subset-Axiom
  Union-Axiom

9 classes defined:

  Bounded
  Empty
  Individual
  Mutually-Disjoint
  Pairwise-Disjoint
  Proper-Set
  Set
  Simple-Set
  Unbounded

All constants that were mentioned were defined.