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 是只有在关系联系两样东西的时候才算是真，框架理论以槽代表 BinaryRelation。	^
InheritableRelation	1765	这是一个 Relation 类别，它的特性可以是通过 subrelation Predicate 把特性在类别的层次结构承传下去。	^
UnaryFunction	191	这是个需要单一一个参数的 Function Class。	^
OneToOneFunction	1	这是个一对一的 UnaryFunction Class，对于所有在定义域F的X和Y，函数F是一对一的，这是以防X不同于Y，那么F(X)就和F(Y)不相同。	^
UnitOfMeasureMultiplier	8	这个 Class 的每一个 instance 都是 UnaryFunction，当我们以单一的参数来评估的话，一个 UnitOfMeasure 会产生出另一个 UnitOfMe...	^
InfectionFn	.		^

Relation: Term:

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

View format:

text