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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Function

Sigma KEE - Function
Function
more pictures...

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
(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 3437-3437
(subclass Function SingleValuedRelation) Merge.kif 3436-3436

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


(instance AssignmentFn Function) Merge.kif 818-818
(instance GreatestCommonDivisorFn Function) Merge.kif 5005-5005
(instance LatitudeFn Function) Geography.kif 405-405
(instance LeastCommonMultipleFn Function) Merge.kif 5084-5084
(instance ListFn Function) Merge.kif 3126-3126
(instance LongitudeFn Function) Geography.kif 442-442
(subclass BinaryFunction Function) Merge.kif 3488-3488
(subclass ContinuousFunction Function) Merge.kif 3567-3567
(subclass QuaternaryFunction Function) Merge.kif 3555-3555
(subclass TernaryFunction Function) Merge.kif 3544-3544
(subclass UnaryFunction Function) Merge.kif 3447-3447
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916
(termFormat EnglishLanguage Function "function") english_format.kif 814-814
(termFormat JapaneseLanguage Function "関数") english_format.kif 815-815

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


(domain AssignmentFn 1 Function) Merge.kif 820-820
(domain closedOn 1 Function) Merge.kif 3689-3689
(domain range 1 Function) Merge.kif 339-339
(domain rangeSubclass 1 Function) Merge.kif 370-370
(partition Relation Predicate Function List) Merge.kif 2280-2280


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

Show without tree


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