more pictures...
| 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 3353-3356 | |
| (documentation Function JapaneseLanguage "Function とは、Relation で、nタプルの引数から 範囲にマップし、この nタプルを最大１つの範囲要素に関連付ける用語形成である。注：範囲は SetOrClass であり、範囲の各要素は SetOrClass のインスタンスである。") | japanese_format.kif 625-627 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") | pictureList.kif 11056-11056 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") | pictureList.kif 10026-10026 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") | pictureList.kif 11054-11054 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") | pictureList.kif 11057-11057 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") | pictureList.kif 11059-11059 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") | pictureList.kif 11055-11055 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") | pictureList.kif 11058-11058 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") | pictureList.kif 11053-11053 | |
| (subclass Function InheritableRelation) | Merge.kif 3351-3351 | 関数 は InheritableRelation の subclass では %n |
| (subclass Function SingleValuedRelation) | Merge.kif 3350-3350 | 関数 は 一価関係 の subclass では %n |
| appearance as argument number 2 |
|
|
| (instance AssignmentFn Function) | Merge.kif 784-784 | AssignmentFn は 関数 の instance では %n |
| (instance GreatestCommonDivisorFn Function) | Merge.kif 4844-4844 | GreatestCommonDivisorFn は 関数 の instance では %n |
| (instance LatitudeFn Function) | Geography.kif 405-405 | LatitudeFn は 関数 の instance では %n |
| (instance LeastCommonMultipleFn Function) | Merge.kif 4929-4929 | LeastCommonMultipleFn は 関数 の instance では %n |
| (instance ListFn Function) | Merge.kif 2931-2931 | ListFn は 関数 の instance では %n |
| (instance LongitudeFn Function) | Geography.kif 442-442 | LongitudeFn は 関数 の instance では %n |
| (subclass BinaryFunction Function) | Merge.kif 3398-3398 | 2変数関数 は 関数 の subclass では %n |
| (subclass ContinuousFunction Function) | Merge.kif 3472-3472 | 連続関数 は 関数 の subclass では %n |
| (subclass QuaternaryFunction Function) | Merge.kif 3461-3461 | 4変数関数 は 関数 の subclass では %n |
| (subclass TernaryFunction Function) | Merge.kif 3450-3450 | 3変数関数 は 関数 の subclass では %n |
| (subclass UnaryFunction Function) | Merge.kif 3358-3358 | 1変数関数 は 関数 の subclass では %n |
| (termFormat ChineseLanguage Function "函数") | chinese_format.kif 916-916 | |
| (termFormat EnglishLanguage Function "function") | english_format.kif 1039-1039 | |
| (termFormat FrenchLanguage Function "function") | french_format.kif 592-592 | |
| (termFormat Hindi Function "prakaarya") | terms-hindi.txt 122-122 | |
| (termFormat ItalianLanguage Function "Funzione") | terms-it.txt 125-125 | |
| (termFormat JapaneseLanguage Function "関数") | japanese_format.kif 2277-2277 | |
| (termFormat PortugueseLanguage Function "Funcao") | portuguese_format.kif 544-544 | |
| (termFormat cb Function "kalihukan") | terms-cb.txt 127-127 | |
| (termFormat cz Function "function") | terms-cz.txt 159-159 | |
| (termFormat ro Function "funcþie") | relations-ro.kif 613-613 | |
| (termFormat tg Function "tungkulin") | terms-tg.txt 126-126 |
| appearance as argument number 3 |
|
|
| (domain AssignmentFn 1 Function) | Merge.kif 786-786 | AssignmentFn の数値 1 引数は 関数 の instance では %n |
| (domain closedOn 1 Function) | Merge.kif 3574-3574 | closedOn の数値 1 引数は 関数 の instance では %n |
| (domain range 1 Function) | Merge.kif 306-306 | range の数値 1 引数は 関数 の instance では %n |
| (domain rangeSubclass 1 Function) | Merge.kif 334-334 | rangeSubclass の数値 1 引数は 関数 の instance では %n |
| (partition Relation Predicate Function) | Merge.kif 2162-2162 | 関係 は 述語 + 関数 に exhaustively partitioned %n |
|
|
|