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 SetOrClass, and each element of the range is an instance of the SetOrClass.") | Merge.kif 3110-3113 | |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") | pictureList.kif 11083-11083 | externalImage Function and "http://upload.wikimedia.org/wikipedia/commons/1/11/ Inverse_Function_Graph.png" |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") | pictureList.kif 10045-10045 | externalImage Function and "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Exponential_Function_%28Real_Part%29.png" |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") | pictureList.kif 11081-11081 | externalImage Function and "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Arccoth_function.png" |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") | pictureList.kif 11084-11084 | externalImage Function and "http://upload.wikimedia.org/wikipedia/commons/6/63/ Trigonometric_function.png" |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") | pictureList.kif 11086-11086 | externalImage Function and "http://upload.wikimedia.org/wikipedia/commons/7/71/ Floor_function.png" |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") | pictureList.kif 11082-11082 | externalImage Function and "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Arcsinh_function.png" |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") | pictureList.kif 11085-11085 | externalImage Function and "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Signum_function.png" |
| (externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") | pictureList.kif 11080-11080 | externalImage Function and "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Convex_Function.png" |
| (subclass Function InheritableRelation) | Merge.kif 3108-3108 | subclass Function and InheritableRelation |
| (subclass Function SingleValuedRelation) | Merge.kif 3107-3107 | subclass Function and SingleValuedRelation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain AssignmentFn 1 Function) | Merge.kif 752-752 | domain AssignmentFn, 1 and Function |
| (domain closedOn 1 Function) | Merge.kif 3329-3329 | domain closedOn, 1 and Function |
| (domain range 1 Function) | Merge.kif 304-304 | domain range, 1 and Function |
| (domain rangeSubclass 1 Function) | Merge.kif 332-332 | domain rangeSubclass, 1 and Function |
| (partition Relation Predicate Function List) | Merge.kif 2068-2068 | partition Relation, Predicate, Function and List |
|
|
|