The KIF vocabulary for set theory as defined in the KIF 3.0 specification.
No theories were included by Kif-Sets.
Kif-Extensions Kif-Meta Kif-Relations
Bounded Simple-Set Empty Individual Mutually-Disjoint Pairwise-Disjoint Set Simple-Set Proper-Set Unbounded
/= = Disjoint Member Proper-Subset Set-Cover Set-Partition Subset
Complement Difference Generalized-Intersection Generalized-Union Intersection Setof Union
Axiom-Of-Choice Axiom-Of-Infinity Axiom-Of-Regularity Extensionality-Property-Of-Sets Finite-Set-Axiom Intersection-Axiom Subset-Axiom Union-Axiom
The following constants were used from theories not included:
All constants that were mentioned were defined.