Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Relation	1769	这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组...	^
InheritableRelation	1765	这是一个 Relation 类别，它的特性可以是通过 subrelation Predicate 把特性在类别的层次结构承传下去。	^
SingleValuedRelation	351	一个 Relation是 SingleValuedRelation 以确保除了最后一个参数之外，每一个参数的位置只有一个赋值，而最后的参数顶多可以决定最后一个参数的位置。注：不是所有的 &...	^
Function	310	Function 是一个造词的 Relation，它以最多一个元素范围，把n元组的参数和这n元组有关的范围联系起来。注：范围是一个SetOrClass，而且范围内的每个元素是这个 ...	^

Relation: Term:

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

View format:

text