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 把特性在类别的层次结构承传下去。	^
TotalValuedRelation	205	一个 Relation 是 TotalValuedRelation 以防该 Relation 最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都有一个赋值。注：声明一个 &...	^
PartialOrderingRelation	56	一个 BinaryRelation 属于部分顺序关系如果它是一个 ReflexiveRelation、 AntisymmetricRelation 和 TransitiveRela...	^
UnitOfMeasureMultiplier	8	这个 Class 的每一个 instance 都是 UnaryFunction，当我们以单一的参数来评估的话，一个 UnitOfMeasure 会产生出另一个 UnitOfMe...	^

Relation: Term:

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

View format:

text