Function(函数)![]() ![]() ![]() ![]() | ![]() |
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 3348-3351 | |
(documentation Function JapaneseLanguage "Function とは、Relation で、nタプルの引数から 範囲にマップし、この nタプルを最大1つの範囲要素に関連付ける用語形成である。注:範囲は SetOrClass であり、範囲の各要素は SetOrClass のインスタンスである。") | japanese_format.kif 625-627 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") | pictureList.kif 11049-11049 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") | pictureList.kif 10024-10024 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") | pictureList.kif 11047-11047 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") | pictureList.kif 11050-11050 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") | pictureList.kif 11052-11052 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") | pictureList.kif 11048-11048 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") | pictureList.kif 11051-11051 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") | pictureList.kif 11046-11046 | |
(subclass Function InheritableRelation) | Merge.kif 3346-3346 | 函数 是 可继承的关系 的 subclass |
(subclass Function SingleValuedRelation) | Merge.kif 3345-3345 | 函数 是 单值关系 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AssignmentFn 1 Function) | Merge.kif 779-779 | 分派函数 的 1 数量 是 函数 的 instance |
(domain closedOn 1 Function) | Merge.kif 3569-3569 | 闭上 的 1 数量 是 函数 的 instance |
(domain range 1 Function) | Merge.kif 300-300 | 范围 的 1 数量 是 函数 的 instance |
(domain rangeSubclass 1 Function) | Merge.kif 327-327 | 子类别的范围 的 1 数量 是 函数 的 instance |
(partition Relation Predicate Function) | Merge.kif 2156-2156 | 关系 详尽无遗地 partition 成 谓语 和 函数 |
![]() |
![]() |