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
集合
这是个 SetOrClass 能满足延伸性和由集合理论的某些选择所指定 的其他约束。Set 在两个重要方面与 Classes 不同:第一,Sets 是可以延伸的 - 两个拥有一样 elementSet 是相同的。第二,一个 Set 可以是一堆随意组成的东西。这就是说 Set 不需要具有确定 其成员资格的相关联条件。注:我们并没有假设每个 Set 为独一无二的集合,即是说一个 Set 的组员可以在那个 Set 出现超过一次。
Relationships      
Parents 集或类 The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.
Children 有限集合A Set containing a finite number of elements.
 非空集Any Set that has at least one element.
 空集Any Set that contains no elements.
 方程组A 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