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

Formal Language: 




Sigma KEE - Set
KB Term: 
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
セット
拡張性と、セット理論のいくつかの選択によって指定された他の 制約を満たす SetOrClassSet は2つの重要な点で Class と異なる。まず、Set は拡張体で あり、同じ element を持つ2つの Set は同一である。次に、Set はオブジェクトの任意のストックに することができる。つまり、Set がメンバーシップを決定する関連付けられた条件を持つ必要はあない。 注:Set は一意のセット、つまり一意のセットであるとは見なされない。 例:Setelement は、 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 simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)


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