Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
SingleValuedRelation	351	Relation は、 SingleValuedRelation で、最後の引数位置を除くすべての引数位置に値を割り当てるだけで、最後の引数位置に対して最も 1 つの割り当てを決定する場合...	^
InheritableRelation	1765	Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる。	^
Function	310	Function とは、Relation で、nタプルの引数から範囲にマップし、この nタプルを最大１つの範囲要素に関連付ける用語形成である。注：範囲は SetOrClass であり、...	^
UnaryFunction	191	Functions のClass は単一の引数が必要である。	^
BinaryFunction	101	Function の Class は、２つの引数を必要とする。	^
TernaryFunction	3	Function の Class は、正確に３つの引数を必要とする。	^
QuaternaryFunction	4	Function の Class は、正確に4つの引数を必要とする。	^
ContinuousFunction	.	Functions は連続している。この概念は、限界の表現が考案されるまで、プリミティブと見なされる。	^

Relation: Term:

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

View format:

text