Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
SetOrClass	6	Sets の SetOrClass と Classes。　例： elements または instances がある Abstract の任意のインスタンス。	^
Set	4	拡張性と、セット理論のいくつかの選択によって指定された他の制約を満たす SetOrClass 。 Set は2つの重要な点で Class と異なる。まず、Set は拡張体であり、...	^
NullSet	.	インスタンスを含まない任意の　SetOrClass。	^
NonNullSet	.	少なくとも１つのインスタンスを含む任意の SetOrClass。	^
FiniteSet	.	有限数の要素を含む Set。	^
SetOfEquations	.		^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format:

text