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

Formal Language: 



KB Term: 

  BackFn

Sigma KEE - BackFn
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
挪后函数
这个 FunctionObject 转到 与 这个 ObjectFrontFn 相反的那面。注:这是一个部分函数, 因为有一些 Object 是没有侧面的,例如苹果和球体。 也要注意 这个 Functionrange 是无限的,就像 ImmediateFutureFnImmediatePastFn 一样也是无限的。从理论的观点来说,虽然这个无限性并不理想,但它没有太大的实际影响,因为在共同意思间对于最常见 的情况已经达成广泛的共识。
Relationships      
Instances抽象体这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
 二元关系 BinaryRelation 是只有在关系联系两样东西的时候 才算是真,框架理论以槽代表 BinaryRelation
 实体The universal class of individuals. This is the root node of the ontology.
 函数Function 是一个造词的 Relation,它以最多一个元素 范围,把n元组的参数和这n元组有关的范围联系起来。注:范围是一个SetOrClass,而且范围内的每个元素是这个 SetOrClass 的一个实例。
 可继承的关系这是一个 Relation 类别,它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。
 部分值关系一个 RelationPartialValuedRelation 是为了确保它不是一个 TotalValuedRelation,也就是说除了最后一个之外给每一个 参数位置分配一个值,但这不一定等于已经为最后一个参数位置设定赋值。注:如果一个 Relation既是 PartialValuedRelation 又是 SingleValuedRelation的话,那么它就是一个部分函数。
 关系这是关系的 Class。现有三类的 Relation: PredicateFunctionListPredicateFunction 皆表示有序的n元组集合, 这两个 Class 的差别在于 Predicate 包括组成公式的运算符,而Function 则包括组成 术语的运算符,而一个 List 却是一个特定的有序n元组。
 单值关系一个 RelationSingleValuedRelation 以确保除了最后一个参数之外,每一个参数的位置只有一个赋值,而最后的参数 顶多可以决定最后一个参数的位置。注:不是所有的 SingleValuedRelation 都是 TotalValuedRelation
 空间关系这是一个广义的空间 Relation Class,这个 Class 包括分体论关系和拓扑关系。
 一元函数这是个需要单一一个参数的 Function Class
Belongs to Class 实体


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

Show without tree


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