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 3429-3431
(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 3425-3428
(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 3424-3424
(subclass Function SingleValuedRelation) Merge.kif 3423-3423

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


(instance AssignmentFn Function) Merge.kif 806-806
(instance GreatestCommonDivisorFn Function) Merge.kif 4992-4992
(instance LatitudeFn Function) Geography.kif 405-405
(instance LeastCommonMultipleFn Function) Merge.kif 5071-5071
(instance ListFn Function) Merge.kif 3113-3113
(instance LongitudeFn Function) Geography.kif 442-442
(subclass BinaryFunction Function) Merge.kif 3475-3475
(subclass ContinuousFunction Function) Merge.kif 3554-3554
(subclass QuaternaryFunction Function) Merge.kif 3542-3542
(subclass TernaryFunction Function) Merge.kif 3531-3531
(subclass UnaryFunction Function) Merge.kif 3434-3434
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916
(termFormat EnglishLanguage Function "function") english_format.kif 603-603
(termFormat FrenchLanguage Function "function") french_format.kif 592-592
(termFormat Hindi Function "prakaarya") terms-hindi.txt 122-122
(termFormat ItalianLanguage Function "Funzione") terms-it.txt 123-123
(termFormat PortugueseLanguage Function "Funcao") portuguese_format.kif 544-544
(termFormat ar Function "تَابِع") arabic_format.kif 328-328
(termFormat cb Function "kalihukan") terms-cb.txt 127-127
(termFormat cz Function "function") terms-cz.txt 159-159
(termFormat tg Function "tungkulin") terms-tg.txt 126-126

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


(domain AssignmentFn 1 Function) Merge.kif 808-808
(domain closedOn 1 Function) Merge.kif 3676-3676
(domain range 1 Function) Merge.kif 339-339
(domain rangeSubclass 1 Function) Merge.kif 370-370
(partition Relation Predicate Function List) Merge.kif 2267-2267


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