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 は2つの重要な点で Class と異なる。まず、Set は拡張体で あり、同じ element を持つ2つの Set は同一である。次に、Set はオブジェクトの任意のストックに することができる。つまり、Set がメンバーシップを決定する関連付けられた条件を持つ必要はあない。 注：Set は一意のセット、つまり一意のセットであるとは見なされない。　例：Set の element は、 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.
 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