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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Function
Function(function)
more pictures...

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 3353-3356
(documentation Function JapaneseLanguage "Function とは、Relation で、nタプルの引数から 範囲にマップし、この nタプルを最大1つの範囲要素に関連付ける用語形成である。注:範囲は SetOrClass であり、範囲の各要素は SetOrClass のインスタンスである。") japanese_format.kif 625-627
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") pictureList.kif 11056-11056
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") pictureList.kif 10026-10026
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") pictureList.kif 11054-11054
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") pictureList.kif 11057-11057
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") pictureList.kif 11059-11059
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") pictureList.kif 11055-11055
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") pictureList.kif 11058-11058
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") pictureList.kif 11053-11053
(subclass Function InheritableRelation) Merge.kif 3351-3351 Function est une sous-classe de InheritableRelation
(subclass Function SingleValuedRelation) Merge.kif 3350-3350 Function est une sous-classe de relation simple

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


(instance AssignmentFn Function) Merge.kif 784-784 AssignmentFn est une instance de function
(instance GreatestCommonDivisorFn Function) Merge.kif 4844-4844 GreatestCommonDivisorFn est une instance de function
(instance LatitudeFn Function) Geography.kif 405-405 LatitudeFn est une instance de function
(instance LeastCommonMultipleFn Function) Merge.kif 4929-4929 LeastCommonMultipleFn est une instance de function
(instance ListFn Function) Merge.kif 2931-2931 ListFn est une instance de function
(instance LongitudeFn Function) Geography.kif 442-442 LongitudeFn est une instance de function
(subclass BinaryFunction Function) Merge.kif 3398-3398 Fonction binaire est une sous-classe de function
(subclass ContinuousFunction Function) Merge.kif 3472-3472 Fonction continue est une sous-classe de function
(subclass QuaternaryFunction Function) Merge.kif 3461-3461 Function quaternaire est une sous-classe de function
(subclass TernaryFunction Function) Merge.kif 3450-3450 Fonction ternaire est une sous-classe de function
(subclass UnaryFunction Function) Merge.kif 3358-3358 Function unaire est une sous-classe de 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 125-125
(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 Le nombre 1 argument de AssignmentFn est une instance de function
(domain closedOn 1 Function) Merge.kif 3574-3574 Le nombre 1 argument de closedOn est une instance de function
(domain range 1 Function) Merge.kif 306-306 Le nombre 1 argument de range est une instance de function
(domain rangeSubclass 1 Function) Merge.kif 334-334 Le nombre 1 argument de rangeSubclass est une instance de function
(partition Relation Predicate Function) Merge.kif 2162-2162 Relation est compl�tement d�compos� en predicat + function


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