Theory KIF-SETS

• Last modified: Monday, 10 March 1997
• Source code: kif-sets.lisp
• List of other known theories

Theory documentation:

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

specification.

No theories were included by Kif-Sets.

Theories that include Kif-Sets:

  Kif-Extensions
  Kif-Meta
  Kif-Relations
  Metaontology

9 classes defined:

    Bounded
       Simple-Set
    Empty
    Individual
    Mutually-Disjoint
    Pairwise-Disjoint
    Set
       Simple-Set
       Proper-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

The following constants were used from theories not included:

• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Defining-Axiom defined as a relation in theory Kif-Meta
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Double defined as a class in theory Kif-Lists
• Finite-Set defined as a class in theory Kif-Extensions
• Function defined as a class in theory Peak-Level
• Function defined as a class in theory Kif-Relations
• Item defined as a relation in theory Kif-Lists
• Nth-Domain defined as a relation in theory Frame-Ontology
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Thing defined as a class in theory Frame-Ontology
• Undefined defined as a class in theory Kif-Extensions

All constants that were mentioned were defined.