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 3348-3351
(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 3346-3346 函数可继承的关系subclass
(subclass Function SingleValuedRelation) Merge.kif 3345-3345 函数单值关系subclass

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


(instance AssignmentFn Function) Merge.kif 777-777 分派函数函数instance
(instance GreatestCommonDivisorFn Function) Merge.kif 4838-4838 最大公因数函数函数instance
(instance LatitudeFn Function) Geography.kif 405-405 纬度函数instance
(instance LeastCommonMultipleFn Function) Merge.kif 4923-4923 最小公倍数函数函数instance
(instance ListFn Function) Merge.kif 2926-2926 表列函数函数instance
(instance LongitudeFn Function) Geography.kif 442-442 经度函数instance
(subclass BinaryFunction Function) Merge.kif 3393-3393 二元函数函数subclass
(subclass ContinuousFunction Function) Merge.kif 3467-3467 连续函数函数subclass
(subclass QuaternaryFunction Function) Merge.kif 3456-3456 四元函数函数subclass
(subclass TernaryFunction Function) Merge.kif 3445-3445 三元函数函数subclass
(subclass UnaryFunction Function) Merge.kif 3353-3353 一元函数函数subclass
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916 一元函数函数subclass
(termFormat EnglishLanguage Function "function") english_format.kif 1039-1039 一元函数函数subclass
(termFormat FrenchLanguage Function "function") french_format.kif 592-592 一元函数函数subclass
(termFormat Hindi Function "prakaarya") terms-hindi.txt 122-122 一元函数函数subclass
(termFormat ItalianLanguage Function "Funzione") terms-it.txt 125-125 一元函数函数subclass
(termFormat JapaneseLanguage Function "関数") japanese_format.kif 2277-2277 一元函数函数subclass
(termFormat PortugueseLanguage Function "Funcao") portuguese_format.kif 544-544 一元函数函数subclass
(termFormat cb Function "kalihukan") terms-cb.txt 127-127 一元函数函数subclass
(termFormat cz Function "function") terms-cz.txt 159-159 一元函数函数subclass
(termFormat de Function "Funktion") terms-de.txt 418-418 一元函数函数subclass
(termFormat ro Function "funcþie") relations-ro.kif 613-613 一元函数函数subclass
(termFormat tg Function "tungkulin") terms-tg.txt 126-126 一元函数函数subclass

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


(domain AssignmentFn 1 Function) Merge.kif 779-779 分派函数 的 1 数量 是 函数instance
(domain closedOn 1 Function) Merge.kif 3569-3569 闭上 的 1 数量 是 函数instance
(domain range 1 Function) Merge.kif 300-300 范围 的 1 数量 是 函数instance
(domain rangeSubclass 1 Function) Merge.kif 327-327 子类别的范围 的 1 数量 是 函数instance
(partition Relation Predicate Function) Merge.kif 2156-2156 关系 详尽无遗地 partition谓语函数


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