Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TotalValuedRelation
TotalValuedRelation(total valued relation)

appearance as argument number 1
-------------------------


s__documentation(s__TotalValuedRelation,s__ChineseLanguage,'"一个 RelationTotalValuedRelation 以防该 Relation 最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都 有一个赋值。注:声明一个 Relation 既是 TotalValuedRelation 又是 SingleValuedRelation 表示这是一个总函数。"')

chinese_format.kif 1823-1826
s__documentation(s__TotalValuedRelation,s__EnglishLanguage,'"A Relation is a TotalValuedRelation just in case there exists an assignment for the last argument position of the Relation given any assignment of values to every argument position except the last one. Note that declaring a Relation to be both a TotalValuedRelation and a SingleValuedRelation means that it is a total function."')

Merge.kif 2111-2115
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__TotalValuedRelation,s__InheritableRelation)

Merge.kif 2109-2109 Total valued relation is a subclass of inheritable relation
s__instance(s__Relation,s__SetOrClass)

s__instance(s__TotalValuedRelation,s__SetOrClass)

s__subclass(s__TotalValuedRelation,s__Relation)

Merge.kif 2108-2108 Total valued relation is a subclass of relation

appearance as argument number 2
-------------------------


s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__AbsoluteValueFn__m,s__TotalValuedRelation)

Merge.kif 4588-4588 Absolute value is an instance of total valued relation
s__instance(s__AccelerationFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Cars.kif 1293-1293 AccelerationFn is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__AdditionFn__m,s__TotalValuedRelation)

Merge.kif 4538-4538 Addition is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ArcCosineFn__m,s__TotalValuedRelation)

Merge.kif 5024-5024 Arccosine is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ArcSineFn__m,s__TotalValuedRelation)

Merge.kif 5034-5034 Arcsine is an instance of total valued relation
s__instance(s__ArcTangentFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 5014-5014 Arctangent is an instance of total valued relation
s__instance(s__BeginFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 7714-7714 Begin is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__BeginNodeFn__m,s__TotalValuedRelation)

Merge.kif 5675-5675 Begin node is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__CeilingFn__m,s__TotalValuedRelation)

Merge.kif 4609-4609 Ceiling is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__CenterOfCircleFn__m,s__TotalValuedRelation)

Merge.kif 7383-7383 Center of circle is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ComplementFn__m,s__TotalValuedRelation)

Merge.kif 5238-5238 Complement is an instance of total valued relation
s__instance(s__CosineFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 4627-4627 Cosine is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__DenominatorFn__m,s__TotalValuedRelation)

Merge.kif 4636-4636 Denominator is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__DensityFn__m,s__TotalValuedRelation)

Merge.kif 6400-6400 Density is an instance of total valued relation
s__instance(s__DiameterFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Mid-level-ontology.kif 4644-4644 Diameter is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__EndFn__m,s__TotalValuedRelation)

Merge.kif 7742-7742 End is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__EndNodeFn__m,s__TotalValuedRelation)

Merge.kif 5686-5686 End node is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ExponentiationFn__m,s__TotalValuedRelation)

Merge.kif 4645-4645 Exponentiation is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__FloorFn__m,s__TotalValuedRelation)

Merge.kif 4654-4654 Floor is an instance of total valued relation
s__instance(s__FutureFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 8119-8119 Future is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__GeneralizedIntersectionFn__m,s__TotalValuedRelation)

Merge.kif 5259-5259 Generalized intersection is an instance of total valued relation
s__instance(s__GeneralizedUnionFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 5248-5248 Generalized union is an instance of total valued relation
s__instance(s__GraphPathFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 5793-5793 Graph path is an instance of total valued relation
s__instance(s__ImaginaryPartFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 4722-4722 Imaginary part is an instance of total valued relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ImmediateFamilyFn__m,s__TotalValuedRelation)

Merge.kif 15508-15508 Immediate family is an instance of total valued relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified 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