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 3282-3285
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") pictureList.kif 11072-11072
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") pictureList.kif 10035-10035
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") pictureList.kif 11070-11070
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") pictureList.kif 11073-11073
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") pictureList.kif 11075-11075
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") pictureList.kif 11071-11071
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") pictureList.kif 11074-11074
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") pictureList.kif 11069-11069
(subclass Function InheritableRelation) Merge.kif 3280-3280
(subclass Function SingleValuedRelation) Merge.kif 3279-3279

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


(instance AssignmentFn Function) Merge.kif 767-767
(instance GreatestCommonDivisorFn Function) Merge.kif 4748-4748
(instance LatitudeFn Function) Geography.kif 405-405
(instance LeastCommonMultipleFn Function) Merge.kif 4833-4833
(instance ListFn Function) Merge.kif 2859-2859
(instance LongitudeFn Function) Geography.kif 442-442
(subclass BinaryFunction Function) Merge.kif 3326-3326
(subclass ContinuousFunction Function) Merge.kif 3400-3400
(subclass QuaternaryFunction Function) Merge.kif 3389-3389
(subclass TernaryFunction Function) Merge.kif 3378-3378
(subclass UnaryFunction Function) Merge.kif 3287-3287
(termFormat ChineseLanguage Function "函数") chinese_format.kif 916-916
(termFormat EnglishLanguage Function "function") english_format.kif 1039-1039

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


(domain AssignmentFn 1 Function) Merge.kif 769-769
(domain closedOn 1 Function) Merge.kif 3502-3502
(domain range 1 Function) Merge.kif 304-304
(domain rangeSubclass 1 Function) Merge.kif 332-332
(partition Relation Predicate Function) Merge.kif 2102-2102


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