Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  Set

Sigma KEE - Set
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Set
A SetOrClass that satisfies extensionality as well as other constraints specified by some choice of set theory. Sets differ from Classes in two important respects. First, Sets are extensional - two Sets with the same elements are identical. Second, a Set can be an arbitrary stock of objects. That is, there is no requirement that Sets have an associated condition that determines their membership. Note that Sets are not assumed to be unique sets, i.e. elements of a Set may occur more than once in the Set.
Relationships      
Parents SetOrClass The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.
Children FiniteSetA Set containing a finite number of elements.
 NonNullSetAny Set that has at least one element.
 NullSetAny Set that contains no elements.
 SetOfEquationsA Set of equations


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners