Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - TotalValuedRelation
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
总值关系
一个 RelationTotalValuedRelation 以防该 Relation 最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都 有一个赋值。注:声明一个 Relation 既是 TotalValuedRelation 又是 SingleValuedRelation 表示这是一个总函数。
Relationships      
Parents 可继承的关系 The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  关系 The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
Children 偏序关系A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.
 UnitOfMeasureMultiplierEach instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument.


Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners