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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Function
more pictures...
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, map, mapping, mathematical_function, metric, metric_function, operator, partial, partial_derivative, reflection, rotation...

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 Class, and each element of the range is an instance of the Class.") Merge.kif 3340-3343
(documentation Function JapaneseLanguage "Function とは、Relation で、nタプルの引数から 範囲にマップし、この nタプルを最大1つの範囲要素に関連付ける用語形成である。注:範囲は SetOrClass であり、範囲の各要素は SetOrClass のインスタンスである。") japanese_format.kif 625-627
(externalImage Function " 11/ Inverse_Function_Graph.png") pictureList.kif 11065-11065
(externalImage Function " 2a/ Exponential_Function_%28Real_Part%29.png") pictureList.kif 10028-10028
(externalImage Function " 2f/ Arccoth_function.png") pictureList.kif 11063-11063
(externalImage Function " 63/ Trigonometric_function.png") pictureList.kif 11066-11066
(externalImage Function " 71/ Floor_function.png") pictureList.kif 11068-11068
(externalImage Function " 9b/ Arcsinh_function.png") pictureList.kif 11064-11064
(externalImage Function " c0/ Signum_function.png") pictureList.kif 11067-11067
(externalImage Function " d6/ Convex_Function.png") pictureList.kif 11062-11062
(subclass Function InheritableRelation) Merge.kif 3338-3338 Function is a subclass of inheritable relation
(subclass Function SingleValuedRelation) Merge.kif 3337-3337 Function is a subclass of single valued relation

appearance as argument number 2

(instance AssignmentFn Function) Merge.kif 784-784 Assignment is an instance of function
(instance GreatestCommonDivisorFn Function) Merge.kif 4830-4830 Greatest common divisor is an instance of function
(instance LatitudeFn Function) Geography.kif 405-405 Latitude is an instance of function
(instance LeastCommonMultipleFn Function) Merge.kif 4915-4915 Least common multiple is an instance of function
(instance ListFn Function) Merge.kif 2918-2918 List is an instance of function
(instance LongitudeFn Function) Geography.kif 442-442 Longitude is an instance of function
(subclass BinaryFunction Function) Merge.kif 3385-3385 Binary function is a subclass of function
(subclass ContinuousFunction Function) Merge.kif 3459-3459 Continuous function is a subclass of function
(subclass QuaternaryFunction Function) Merge.kif 3448-3448 Quaternary function is a subclass of function
(subclass TernaryFunction Function) Merge.kif 3437-3437 Ternary function is a subclass of function
(subclass UnaryFunction Function) Merge.kif 3345-3345 Unary function is a subclass of function
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916
(termFormat EnglishLanguage Function "function") english_format.kif 1039-1039
(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 JapaneseLanguage Function "関数") japanese_format.kif 2277-2277
(termFormat PortugueseLanguage Function "Funcao") portuguese_format.kif 544-544
(termFormat cb Function "kalihukan") terms-cb.txt 127-127
(termFormat cz Function "function") terms-cz.txt 159-159
(termFormat ro Function "funcþie") relations-ro.kif 613-613
(termFormat tg Function "tungkulin") terms-tg.txt 126-126

appearance as argument number 3

(domain AssignmentFn 1 Function) Merge.kif 786-786 The number 1 argument of assignment is an instance of function
(domain closedOn 1 Function) Merge.kif 3561-3561 The number 1 argument of closed on is an instance of function
(domain range 1 Function) Merge.kif 306-306 The number 1 argument of range is an instance of function
(domain rangeSubclass 1 Function) Merge.kif 334-334 The number 1 argument of range subclass is an instance of function
(partition Relation Predicate Function) Merge.kif 2149-2149 Relation is exhaustively partitioned into predicate and function

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 3.0 is open source software produced by Articulate Software and its partners