|
|
| 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 3277-3280 | |
| (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 3275-3275 | Function is a subclass of inheritable relation |
| (subclass Function SingleValuedRelation) | Merge.kif 3274-3274 | Function is a subclass of single valued relation |
| appearance as argument number 2 |
|
|
| (instance AssignmentFn Function) | Merge.kif 750-750 | Assignment is an instance of function |
| (instance GreatestCommonDivisorFn Function) | Merge.kif 4706-4706 | Greatest common divisor is an instance of function |
| (instance LatitudeFn Function) | Geography.kif 405-405 | Latitude is an instance of function |
| (instance LeastCommonMultipleFn Function) | Merge.kif 4779-4779 | Least common multiple is an instance of function |
| (instance ListFn Function) | Merge.kif 2860-2860 | List is an instance of function |
| (instance LongitudeFn Function) | Geography.kif 442-442 | Longitude is an instance of function |
| (subclass BinaryFunction Function) | Merge.kif 3321-3321 | Binary function is a subclass of function |
| (subclass ContinuousFunction Function) | Merge.kif 3395-3395 | Continuous function is a subclass of function |
| (subclass QuaternaryFunction Function) | Merge.kif 3384-3384 | Quaternary function is a subclass of function |
| (subclass TernaryFunction Function) | Merge.kif 3373-3373 | Ternary function is a subclass of function |
| (subclass UnaryFunction Function) | Merge.kif 3282-3282 | Unary function is a subclass of function |
| (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 752-752 | The number 1 argument of assignment is an instance of function |
| (domain closedOn 1 Function) | Merge.kif 3497-3497 | The number 1 argument of closed on is an instance of function |
| (domain range 1 Function) | Merge.kif 304-304 | The number 1 argument of range is an instance of function |
| (domain rangeSubclass 1 Function) | Merge.kif 332-332 | The number 1 argument of range subclass is an instance of function |
| (partition Relation Predicate Function) | Merge.kif 2109-2109 | Relation is exhaustively partitioned into predicate and function |
|
|
|
