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 であり、...	^
BinaryRelation	1311	BinaryRelation は relation で、それはペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。	^
InheritableRelation	1765	Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる。	^
UnaryFunction	191	Functions のClass は単一の引数が必要である。	^
OneToOneFunction	1	UnaryFunctions は1対1である。関数 F は、 F のドメイン内のすべての X の場合に備えて 1 対 1 で、X が Y と同一でない場合、F(X) は F(Y) と同一ではな...	^
UnitOfMeasureMultiplier	8	この C の各 instance は UnaryFunction であり、単一の引数で評価すると、UnitOfMeasure は引数の数値倍数である別の UnitOfMeasure ...	^
InfectionFn	.		^

Relation: Term:

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

View format:

text