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

Formal Language: 

KB Term:  Term intersection
English Word: 

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

(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 " 11/ Inverse_Function_Graph.png") pictureList.kif 11083-11083
(externalImage Function " 2a/ Exponential_Function_%28Real_Part%29.png") pictureList.kif 10045-10045
(externalImage Function " 2f/ Arccoth_function.png") pictureList.kif 11081-11081
(externalImage Function " 63/ Trigonometric_function.png") pictureList.kif 11084-11084
(externalImage Function " 71/ Floor_function.png") pictureList.kif 11086-11086
(externalImage Function " 9b/ Arcsinh_function.png") pictureList.kif 11082-11082
(externalImage Function " c0/ Signum_function.png") pictureList.kif 11085-11085
(externalImage Function " 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 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