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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - 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 3368-3371
(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 11049-11049
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") pictureList.kif 10024-10024
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") pictureList.kif 11047-11047
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") pictureList.kif 11050-11050
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") pictureList.kif 11052-11052
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") pictureList.kif 11048-11048
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") pictureList.kif 11051-11051
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") pictureList.kif 11046-11046
(subclass Function InheritableRelation) Merge.kif 3366-3366 関数InheritableRelationsubclass では
(subclass Function SingleValuedRelation) Merge.kif 3365-3365 関数一価関係subclass では

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


(instance AssignmentFn Function) Merge.kif 777-777 AssignmentFn関数instance では
(instance GreatestCommonDivisorFn Function) Merge.kif 4872-4872 GreatestCommonDivisorFn関数instance では
(instance LatitudeFn Function) Geography.kif 575-575 LatitudeFn関数instance では
(instance LeastCommonMultipleFn Function) Merge.kif 4957-4957 LeastCommonMultipleFn関数instance では
(instance ListFn Function) Merge.kif 2944-2944 ListFn関数instance では
(instance LongitudeFn Function) Geography.kif 612-612 LongitudeFn関数instance では
(subclass BinaryFunction Function) Merge.kif 3413-3413 2変数関数関数subclass では
(subclass ContinuousFunction Function) Merge.kif 3487-3487 連続関数関数subclass では
(subclass QuaternaryFunction Function) Merge.kif 3476-3476 4変数関数関数subclass では
(subclass TernaryFunction Function) Merge.kif 3465-3465 3変数関数関数subclass では
(subclass UnaryFunction Function) Merge.kif 3373-3373 1変数関数関数subclass では
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916 1変数関数関数subclass では
(termFormat EnglishLanguage Function "function") english_format.kif 1039-1039 1変数関数関数subclass では
(termFormat FrenchLanguage Function "function") french_format.kif 592-592 1変数関数関数subclass では
(termFormat Hindi Function "prakaarya") terms-hindi.txt 122-122 1変数関数関数subclass では
(termFormat ItalianLanguage Function "Funzione") terms-it.txt 125-125 1変数関数関数subclass では
(termFormat JapaneseLanguage Function "関数") japanese_format.kif 2277-2277 1変数関数関数subclass では
(termFormat PortugueseLanguage Function "Funcao") portuguese_format.kif 544-544 1変数関数関数subclass では
(termFormat cb Function "kalihukan") terms-cb.txt 127-127 1変数関数関数subclass では
(termFormat cz Function "function") terms-cz.txt 159-159 1変数関数関数subclass では
(termFormat de Function "Funktion") terms-de.txt 418-418 1変数関数関数subclass では
(termFormat ro Function "funcþie") relations-ro.kif 613-613 1変数関数関数subclass では
(termFormat tg Function "tungkulin") terms-tg.txt 126-126 1変数関数関数subclass では

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


(domain AssignmentFn 1 Function) Merge.kif 779-779 AssignmentFn の数値 1 引数は 関数instance では
(domain closedOn 1 Function) Merge.kif 3589-3589 closedOn の数値 1 引数は 関数instance では
(domain range 1 Function) Merge.kif 300-300 range の数値 1 引数は 関数instance では
(domain rangeSubclass 1 Function) Merge.kif 327-327 rangeSubclass の数値 1 引数は 関数instance では
(partition Relation Predicate Function) Merge.kif 2173-2173 関係述語 + 関数exhaustively partitioned


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