Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Function
Function(function)
more pictures...
Kronecker_delta, affine_transformation, arc_cosecant, arc_cosine, arc_cotangent, arc_secant, arc_sine, arc_tangent, arccos, arccosecant, arccosine, arccotangent, arcsec, arcsecant, arcsin, arcsine, arctan, arctangent, asymptotic, circular_function, combinatorial, continuous, definite_integral, derivative, derived_function, differential, differential_coefficient, discontinuous, first_derivative, function, indefinite_integral, integral, inverse_cosecant, inverse_cosine, inverse_cotangent, inverse_function, inverse_secant, inverse_sine, inverse_tangent, isometry, map, mapping, mathematical_function, metric, metric_function, operator, partial, partial_derivative, reflection, rotation...

appearance as argument number 1
-------------------------


(documentation Function ChineseLanguage "Function 是一个造词的 Relation,它以最多一个元素 范围,把n元组的参数和这n元组有关的范围联系起来。注:范围是一个SetOrClass,而且范围内的每个元素是这个 SetOrClass 的一个实例。") Merge.kif 3442-3444
(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 3438-3441
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") pictureList.kif 11083-11083 "http://upload.wikimedia.org/wikipedia/commons/1/11/ Inverse_Function_Graph.png" is a URL depicting function
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") pictureList.kif 10045-10045 "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Exponential_Function_%28Real_Part%29.png" is a URL depicting function
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") pictureList.kif 11081-11081 "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Arccoth_function.png" is a URL depicting function
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") pictureList.kif 11084-11084 "http://upload.wikimedia.org/wikipedia/commons/6/63/ Trigonometric_function.png" is a URL depicting function
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") pictureList.kif 11086-11086 "http://upload.wikimedia.org/wikipedia/commons/7/71/ Floor_function.png" is a URL depicting function
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") pictureList.kif 11082-11082 "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Arcsinh_function.png" is a URL depicting function
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") pictureList.kif 11085-11085 "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Signum_function.png" is a URL depicting function
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") pictureList.kif 11080-11080 "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Convex_Function.png" is a URL depicting function
(subclass Function InheritableRelation) Merge.kif 3437-3437 Function is a subclass of inheritable relation
(subclass Function SingleValuedRelation) Merge.kif 3436-3436 Function is a subclass of single valued relation

appearance as argument number 2
-------------------------


(instance AssignmentFn Function) Merge.kif 818-818 Assignment is an instance of function
(instance GreatestCommonDivisorFn Function) Merge.kif 5005-5005 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 5084-5084 Least common multiple is an instance of function
(instance ListFn Function) Merge.kif 3126-3126 List is an instance of function
(instance LongitudeFn Function) Geography.kif 442-442 Longitude is an instance of function
(subclass BinaryFunction Function) Merge.kif 3488-3488 Binary function is a subclass of function
(subclass ContinuousFunction Function) Merge.kif 3567-3567 Continuous function is a subclass of function
(subclass QuaternaryFunction Function) Merge.kif 3555-3555 Quaternary function is a subclass of function
(subclass TernaryFunction Function) Merge.kif 3544-3544 Ternary function is a subclass of function
(subclass UnaryFunction Function) Merge.kif 3447-3447 Unary function is a subclass of function
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916 "函数" is the printable form of function in ChineseLanguage
(termFormat EnglishLanguage Function "function") english_format.kif 814-814 "function" is the printable form of function in english language
(termFormat JapaneseLanguage Function "関数") english_format.kif 815-815 "関数" is the printable form of function in japanese language

appearance as argument number 3
-------------------------


(domain AssignmentFn 1 Function) Merge.kif 820-820 The number 1 argument of assignment is an instance of function
(domain closedOn 1 Function) Merge.kif 3689-3689 The number 1 argument of closed on is an instance of function
(domain range 1 Function) Merge.kif 339-339 The number 1 argument of range is an instance of function
(domain rangeSubclass 1 Function) Merge.kif 370-370 The number 1 argument of range subclass is an instance of function
(partition Relation Predicate Function List) Merge.kif 2280-2280 Relation is exhaustively partitioned into predicate, function, and list


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners