![]() |
![]() ![]() ![]()
|
![]() |
|
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 SetOrClass, and each element of the range is an instance of the SetOrClass.") | Merge.kif 3242-3245 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") | pictureList.kif 11083-11083 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") | pictureList.kif 10045-10045 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") | pictureList.kif 11081-11081 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") | pictureList.kif 11084-11084 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") | pictureList.kif 11086-11086 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") | pictureList.kif 11082-11082 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") | pictureList.kif 11085-11085 | |
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") | pictureList.kif 11080-11080 | |
(subclass Function InheritableRelation) | Merge.kif 3240-3240 | |
(subclass Function SingleValuedRelation) | Merge.kif 3239-3239 |
appearance as argument number 2 |
![]() |
(instance AssignmentFn Function) | Merge.kif 750-750 | |
(instance GreatestCommonDivisorFn Function) | Merge.kif 4667-4667 | |
(instance LatitudeFn Function) | Geography.kif 405-405 | |
(instance LeastCommonMultipleFn Function) | Merge.kif 4740-4740 | |
(instance ListFn Function) | Merge.kif 2825-2825 | |
(instance LongitudeFn Function) | Geography.kif 442-442 | |
(subclass BinaryFunction Function) | Merge.kif 3286-3286 | |
(subclass ContinuousFunction Function) | Merge.kif 3359-3359 | |
(subclass QuaternaryFunction Function) | Merge.kif 3348-3348 | |
(subclass TernaryFunction Function) | Merge.kif 3337-3337 | |
(subclass UnaryFunction Function) | Merge.kif 3247-3247 | |
(termFormat ChineseLanguage Function "函数") | chinese_format.kif 916-916 | |
(termFormat EnglishLanguage Function "function") | english_format.kif 1044-1044 |
appearance as argument number 3 |
![]() |
(domain AssignmentFn 1 Function) | Merge.kif 752-752 | |
(domain closedOn 1 Function) | Merge.kif 3461-3461 | |
(domain range 1 Function) | Merge.kif 305-305 | |
(domain rangeSubclass 1 Function) | Merge.kif 333-333 | |
(partition Relation Predicate Function) | Merge.kif 2075-2075 |
![]() |
![]() |