Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Function	310	Function とは、Relation で、nタプルの引数から範囲にマップし、この nタプルを最大１つの範囲要素に関連付ける用語形成である。注：範囲は SetOrClass であり、...	^
TernaryRelation	386	TernaryRelations は３つの項目に関連する。２つの TernaryRelation の　subclass は TernaryPredicate と Binary...	^
InheritableRelation	1765	Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる。	^
BinaryFunction	101	Function の Class は、２つの引数を必要とする。	^
AssociativeFunction	4	ブラケットが?FUNCTIONによって返される値に影響を与える場合、BinaryFunction は関連される。　より正確には、Function ?FUNCTION は念のため、(?FU...	^
CommutativeFunction	4	BinaryFunction は、関数の引数の順序が関数によって返される値に影響を与える場合に可換になる。より正確には、関数 ?FUNCTION は、すべての ?INST1 および ?INST...	^

Relation: Term:

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

View format:

text