Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Function

 Sigma KEE - Function
Function(function)
more pictures...		Kronecker_delta, affine_transformation, arc_cosecant, arc_cosine, arc_cotangent, arc_secant, arc_sine, arc_tangent, arccos, arccosecant, arccosine, arccotangent, arcsec, arcsecant, arcsin, arcsine, arctan, arctangent, asymptotic, circular_function, combinatorial, continuous, definite_integral, derivative, derived_function, differential, differential_coefficient, discontinuous, first_derivative, function, indefinite_integral, integral, inverse_cosecant, inverse_cosine, inverse_cotangent, inverse_function, inverse_secant, inverse_sine, inverse_tangent, isometry, map, mapping, mathematical_function, metric, metric_function, operator, partial, partial_derivative, reflection, rotation...

appearance as argument number 1
-------------------------


(subclass Function SingleValuedRelation) Merge.kif 3463-3463 Function is a subclass of single valued relation
(subclass Function InheritableRelation) Merge.kif 3464-3464 Function is a subclass of inheritable relation
(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 3466-3469 Function is a subclass of inheritable relation
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Exponential_Function_%28Real_Part%29.png") pictureList.kif 10024-10024 Function is a subclass of inheritable relation
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Convex_Function.png") pictureList.kif 11046-11046 Function is a subclass of inheritable relation
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Arccoth_function.png") pictureList.kif 11047-11047 Function is a subclass of inheritable relation
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Arcsinh_function.png") pictureList.kif 11048-11048 Function is a subclass of inheritable relation
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Inverse_Function_Graph.png") pictureList.kif 11049-11049 Function is a subclass of inheritable relation
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Trigonometric_function.png") pictureList.kif 11050-11050 Function is a subclass of inheritable relation
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Signum_function.png") pictureList.kif 11051-11051 Function is a subclass of inheritable relation
(externalImage Function "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Floor_function.png") pictureList.kif 11052-11052 Function is a subclass of inheritable relation

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


(instance AssignmentFn Function) Merge.kif 776-776 Assignment is an instance of function
(instance ListFn Function) Merge.kif 3042-3042 List is an instance of function
(subclass UnaryFunction Function) Merge.kif 3471-3471 Unary function is a subclass of function
(subclass BinaryFunction Function) Merge.kif 3511-3511 Binary function is a subclass of function
(subclass TernaryFunction Function) Merge.kif 3563-3563 Ternary function is a subclass of function
(subclass QuaternaryFunction Function) Merge.kif 3574-3574 Quaternary function is a subclass of function
(subclass ContinuousFunction Function) Merge.kif 3585-3585 Continuous function is a subclass of function
(instance GreatestCommonDivisorFn Function) Merge.kif 4956-4956 Greatest common divisor is an instance of function
(instance LeastCommonMultipleFn Function) Merge.kif 5041-5041 Least common multiple is an instance of function
(instance LatitudeFn Function) Geography.kif 1885-1885 Latitude is an instance of function
(instance LongitudeFn Function) Geography.kif 1920-1920 Longitude is an instance of function
(termFormat EnglishLanguage Function "function") english_format.kif 1043-1043 Longitude is an instance of function

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


(domain range 1 Function) Merge.kif 299-299 The number 1 argument of range is an instance of function
(domain rangeSubclass 1 Function) Merge.kif 326-326 The number 1 argument of range subclass is an instance of function
(domain AssignmentFn 1 Function) Merge.kif 778-778 The number 1 argument of assignment is an instance of function
(partition Relation Predicate Function) Merge.kif 2272-2272 Relation is exhaustively partitioned into predicate and function
(domain closedOn 1 Function) Merge.kif 3686-3686 The number 1 argument of closed on is an instance of function


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners