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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Function
Function
more pictures...
تَابِع, Funcao, Funzione, 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, kalihukan, map, mapping, mathematical_function, metric, metric_function, operator...

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


s__documentation(s__Function,s__ChineseLanguage,'Function 是一个造词的 Relation,它以最多一个元素 范围,把n元组的参数和这n元组有关的范围联系起来。注:范围是一个SetOrClass,而且范围内的每个元素是这个 SetOrClass 的一个实例。')

Merge.kif 3429-3431
s__documentation(s__Function,s__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
s__externalImage(s__Function,'http://upload.wikimedia.org/wikipedia/commons/1/11/Inverse_Function_Graph.png')

pictureList.kif 11083-11083
s__externalImage(s__Function,'http://upload.wikimedia.org/wikipedia/commons/2/2a/Exponential_Function_%28Real_Part%29.png')

pictureList.kif 10045-10045
s__externalImage(s__Function,'http://upload.wikimedia.org/wikipedia/commons/2/2f/Arccoth_function.png')

pictureList.kif 11081-11081
s__externalImage(s__Function,'http://upload.wikimedia.org/wikipedia/commons/6/63/Trigonometric_function.png')

pictureList.kif 11084-11084
s__externalImage(s__Function,'http://upload.wikimedia.org/wikipedia/commons/7/71/Floor_function.png')

pictureList.kif 11086-11086
s__externalImage(s__Function,'http://upload.wikimedia.org/wikipedia/commons/9/9b/Arcsinh_function.png')

pictureList.kif 11082-11082
s__externalImage(s__Function,'http://upload.wikimedia.org/wikipedia/commons/c/c0/Signum_function.png')

pictureList.kif 11085-11085
s__externalImage(s__Function,'http://upload.wikimedia.org/wikipedia/commons/d/d6/Convex_Function.png')

pictureList.kif 11080-11080
s__instance(s__Function,s__SetOrClass)

Merge.kif 3424-3424
s__subclass(s__Function,s__SingleValuedRelation)

Merge.kif 3423-3423

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


s__instance(s__AssignmentFn__m,s__Function)

Merge.kif 806-806
s__instance(s__Function,s__SetOrClass)

Merge.kif 4992-4992
s__instance(s__Function,s__SetOrClass)

Geography.kif 405-405
s__instance(s__LeastCommonMultipleFn__m,s__Function)

Merge.kif 5071-5071
s__instance(s__ListFn__m,s__Function)

Merge.kif 3113-3113
s__instance(s__LongitudeFn__m,s__Function)

Geography.kif 442-442
s__subclass(s__BinaryFunction,s__Function)

Merge.kif 3475-3475
s__instance(s__Function,s__SetOrClass)

Merge.kif 3554-3554
s__subclass(s__QuaternaryFunction,s__Function)

Merge.kif 3542-3542
s__subclass(s__TernaryFunction,s__Function)

Merge.kif 3531-3531
s__instance(s__UnaryFunction,s__SetOrClass)

Merge.kif 3434-3434
s__termFormat(s__ChineseLanguage,s__Function,'函数')

chinese_format.kif 916-916
s__termFormat(s__EnglishLanguage,s__Function,'function')

english_format.kif 603-603
s__termFormat(s__FrenchLanguage,s__Function,'function')

french_format.kif 592-592
s__termFormat(s__Hindi,s__Function,'prakaarya')

terms-hindi.txt 122-122
s__termFormat(s__ItalianLanguage,s__Function,'Funzione')

terms-it.txt 123-123
s__termFormat(s__PortugueseLanguage,s__Function,'Funcao')

portuguese_format.kif 544-544
s__termFormat(s__ar__m,s__Function,'تَابِع')

arabic_format.kif 328-328
s__termFormat(s__cb__m,s__Function,'kalihukan')

terms-cb.txt 127-127
s__termFormat(s__cz__m,s__Function,'function')

terms-cz.txt 159-159
s__termFormat(s__tg__m,s__Function,'tungkulin')

terms-tg.txt 126-126

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


s__domain(s__AssignmentFn__m,1,s__Function)

Merge.kif 808-808
s__domain(s__closedOn__m,1,s__Function)

Merge.kif 3676-3676
s__domain(s__range__m,1,s__Function)

Merge.kif 339-339
s__domain(s__rangeSubclass__m,1,s__Function)

Merge.kif 370-370
s__partition_4(s__Relation,s__Predicate,s__Function,s__List)

Merge.kif 2267-2267


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