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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Function
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
-------------------------


(instance AssignmentFn Function) Merge.kif 750-750 instance AssignmentFn and Function
(instance GreatestCommonDivisorFn Function) Merge.kif 4525-4525 instance GreatestCommonDivisorFn and Function
(instance LatitudeFn Function) Geography.kif 405-405 instance LatitudeFn and Function
(instance LeastCommonMultipleFn Function) Merge.kif 4598-4598 instance LeastCommonMultipleFn and Function
(instance ListFn Function) Merge.kif 2820-2820 instance ListFn and Function
(instance LongitudeFn Function) Geography.kif 442-442 instance LongitudeFn and Function
(subclass BinaryFunction Function) Merge.kif 3154-3154 subclass BinaryFunction and Function
(subclass ContinuousFunction Function) Merge.kif 3227-3227 subclass ContinuousFunction and Function
(subclass QuaternaryFunction Function) Merge.kif 3216-3216 subclass QuaternaryFunction and Function
(subclass TernaryFunction Function) Merge.kif 3205-3205 subclass TernaryFunction and Function
(subclass UnaryFunction Function) Merge.kif 3115-3115 subclass UnaryFunction and Function
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916 termFormat ChineseLanguage, Function and "函数"
(termFormat EnglishLanguage Function "function") english_format.kif 1044-1044 termFormat EnglishLanguage, Function and "function"

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


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