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 来造成的，它可以接受任何数量的参数，然后交出一个有相同顺序项目的 List...	^
MeasuringList	1	MeasuringList 是一系列，在一个串列（List）上的量度 Measuring 过程 Processe。	^
MeasuringResultList	.	MeasuringResultList 是一个（多少） Quantity 的（串列）List，它包含相关一连串（量度过程）Measuring &Processe 的结果 &resul...	^
NumberList	.	NumberList 是一个（数字） Number （串列） List。	^
ConsecutiveTimeIntervalList	.	ConsecutiveTimeIntervalList 是 List (表列) 一系列连续的TimeIntervals(时间间隔) 。	^
SRPResults	.		^
Album	.		^
MusicChart	2		^
UniqueList	.	这个 List 里的没有一个项目是出现超过一次的，也就是说这是一个没有不同数字 ?NUMBER1 和 ?NUMBER2 的 List，使得(ListOrderFn ?LIST ?NUM...	^

Relation: Term:

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

View format:

text