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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Function

Sigma KEE - Function
Function(函数)
more pictures...

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


(documentation Function ChineseLanguage "Function 是一个造词的 Relation,它以最多一个元素 范围,把n元组的参数和这n元组有关的范围联系起来。注:范围是一个SetOrClass,而且范围内的每个元素是这个 SetOrClass 的一个实例。") chinese_format.kif 1991-1993
(documentation Function EnglishLanguage "A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a Class, and each element of the range is an instance of the Class.") Merge.kif 3288-3291
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") pictureList.kif 11072-11072
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") pictureList.kif 10035-10035
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") pictureList.kif 11070-11070
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") pictureList.kif 11073-11073
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") pictureList.kif 11075-11075
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") pictureList.kif 11071-11071
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") pictureList.kif 11074-11074
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") pictureList.kif 11069-11069
(subclass Function InheritableRelation) Merge.kif 3286-3286 函数可继承的关系subclass
(subclass Function SingleValuedRelation) Merge.kif 3285-3285 函数单值关系subclass

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


(instance AssignmentFn Function) Merge.kif 773-773 分派函数函数instance
(instance GreatestCommonDivisorFn Function) Merge.kif 4754-4754 最大公因数函数函数instance
(instance LatitudeFn Function) Geography.kif 405-405 纬度函数instance
(instance LeastCommonMultipleFn Function) Merge.kif 4839-4839 最小公倍数函数函数instance
(instance ListFn Function) Merge.kif 2865-2865 表列函数函数instance
(instance LongitudeFn Function) Geography.kif 442-442 经度函数instance
(subclass BinaryFunction Function) Merge.kif 3332-3332 二元函数函数subclass
(subclass ContinuousFunction Function) Merge.kif 3406-3406 连续函数函数subclass
(subclass QuaternaryFunction Function) Merge.kif 3395-3395 四元函数函数subclass
(subclass TernaryFunction Function) Merge.kif 3384-3384 三元函数函数subclass
(subclass UnaryFunction Function) Merge.kif 3293-3293 一元函数函数subclass
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916
(termFormat EnglishLanguage Function "function") english_format.kif 1039-1039

appearance as argument number 3
-------------------------


(domain AssignmentFn 1 Function) Merge.kif 775-775 分派函数 的 1 数量 是 函数instance
(domain closedOn 1 Function) Merge.kif 3508-3508 闭上 的 1 数量 是 函数instance
(domain range 1 Function) Merge.kif 304-304 范围 的 1 数量 是 函数instance
(domain rangeSubclass 1 Function) Merge.kif 332-332 子类别的范围 的 1 数量 是 函数instance
(partition Relation Predicate Function) Merge.kif 2108-2108 关系 详尽无遗地 partition谓语函数


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