Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
SingleValuedRelation	351	一个 Relation是 SingleValuedRelation 以确保除了最后一个参数之外，每一个参数的位置只有一个赋值，而最后的参数顶多可以决定最后一个参数的位置。注：不是所有的 &...	^
InheritableRelation	1765	这是一个 Relation 类别，它的特性可以是通过 subrelation Predicate 把特性在类别的层次结构承传下去。	^
Function	310	Function 是一个造词的 Relation，它以最多一个元素范围，把n元组的参数和这n元组有关的范围联系起来。注：范围是一个SetOrClass，而且范围内的每个元素是这个 ...	^
UnaryFunction	191	这是个需要单一一个参数的 Function Class。	^
BinaryFunction	101	这是个需要两个参数的 Function Class。	^
TernaryFunction	3	这是个需要恰好三个参数的 Function Class。	^
QuaternaryFunction	4	这是个需要恰好四个参数的 Function Class。	^
ContinuousFunction	.	这是连续的 Function，直到得出了它的极限，这个概念会被看成为原函数。	^

Relation: Term:

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

View format:

text