Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Abstract	6444	物理的媒体における任意の特性/資質の特定の実施形態と区別されるプロパティまたは品質。抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。　しかし、それらは...	^
List	12	すべての List は、特定の順序付けされた項目の n タプルである。一般的に、List は ListFn Function によって作成され、任意の数の項目を引数として受け取り...	^
MeasuringList	1		^
MeasuringResultList	.		^
NumberList	.		^
ConsecutiveTimeIntervalList	.		^
SRPResults	.		^
Album	.		^
MusicChart	2		^
UniqueList	.	項目が複数回表示されていない List、すなわち (ListOrderFn ?LIST ?NUMBER1) と (ListOrderFn ?LIST ?NUMBER2) が同じ値を返すよ...	^

Relation: Term:

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

View format:

text