Function - Sigma Knowledge base Browser

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タプルを最大１つの範囲要素に関連付ける用語形成である。注：範囲は 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 3351-3351	子類 Function and 可繼承的關係
(subclass Function SingleValuedRelation)	Merge.kif 3350-3350	子類 Function and SingleValuedRelation

appearance as argument number 2

(instance AssignmentFn Function)	Merge.kif 777-777	例任務 and Function
(instance GreatestCommonDivisorFn Function)	Merge.kif 4857-4857	例最大公約數 and Function
(instance LatitudeFn Function)	Geography.kif 405-405	例緯度 and Function
(instance LeastCommonMultipleFn Function)	Merge.kif 4942-4942	例最不常見的倍數 and Function
(instance ListFn Function)	Merge.kif 2929-2929	例名單 and Function
(instance LongitudeFn Function)	Geography.kif 442-442	例經度 and Function
(subclass BinaryFunction Function)	Merge.kif 3398-3398	子類 BinaryFunction and Function
(subclass ContinuousFunction Function)	Merge.kif 3472-3472	子類 ContinuousFunction and Function
(subclass QuaternaryFunction Function)	Merge.kif 3461-3461	子類 QuaternaryFunction and Function
(subclass TernaryFunction Function)	Merge.kif 3450-3450	子類 TernaryFunction and Function
(subclass UnaryFunction Function)	Merge.kif 3358-3358	子類 UnaryFunction and Function
(termFormat ChineseLanguage Function "函数")	chinese_format.kif 916-916	子類 UnaryFunction and Function
(termFormat EnglishLanguage Function "function")	english_format.kif 1039-1039	子類 UnaryFunction and Function
(termFormat FrenchLanguage Function "function")	french_format.kif 592-592	子類 UnaryFunction and Function
(termFormat Hindi Function "prakaarya")	terms-hindi.txt 122-122	子類 UnaryFunction and Function
(termFormat ItalianLanguage Function "Funzione")	terms-it.txt 125-125	子類 UnaryFunction and Function
(termFormat JapaneseLanguage Function "関数")	japanese_format.kif 2277-2277	子類 UnaryFunction and Function
(termFormat PortugueseLanguage Function "Funcao")	portuguese_format.kif 544-544	子類 UnaryFunction and Function
(termFormat cb Function "kalihukan")	terms-cb.txt 127-127	子類 UnaryFunction and Function
(termFormat cz Function "function")	terms-cz.txt 159-159	子類 UnaryFunction and Function
(termFormat de Function "Funktion")	terms-de.txt 418-418	子類 UnaryFunction and Function
(termFormat ro Function "funcþie")	relations-ro.kif 613-613	子類 UnaryFunction and Function
(termFormat tg Function "tungkulin")	terms-tg.txt 126-126	子類 UnaryFunction and Function

appearance as argument number 3

(domain AssignmentFn 1 Function)	Merge.kif 779-779	域任務, 1 and Function
(domain closedOn 1 Function)	Merge.kif 3574-3574	域關閉, 1 and Function
(domain range 1 Function)	Merge.kif 300-300	域範圍, 1 and Function
(domain rangeSubclass 1 Function)	Merge.kif 327-327	域範圍子類, 1 and Function
(partition Relation Predicate Function)	Merge.kif 2158-2158	劃分 Relation, Predicate and 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

KB Term:			Term intersection

English Word: