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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Function
Function(function)
more pictures...
تَابِع, Funcao, Funzione, 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, kalihukan, map, mapping, mathematical_function, metric, metric_function, operator...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3419-3421
No TPTP formula. May not be expressible in strict first order. Merge.kif 3415-3418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11083-11083 "http://upload.wikimedia.org/wikipedia/commons/1/11/ Inverse_Function_Graph.png" is a URL depicting function
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10045-10045 "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Exponential_Function_%28Real_Part%29.png" is a URL depicting function
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11081-11081 "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Arccoth_function.png" is a URL depicting function
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11084-11084 "http://upload.wikimedia.org/wikipedia/commons/6/63/ Trigonometric_function.png" is a URL depicting function
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11086-11086 "http://upload.wikimedia.org/wikipedia/commons/7/71/ Floor_function.png" is a URL depicting function
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11082-11082 "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Arcsinh_function.png" is a URL depicting function
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11085-11085 "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Signum_function.png" is a URL depicting function
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11080-11080 "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Convex_Function.png" is a URL depicting function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3414-3414 Function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3413-3413 Function is a subclass of single valued relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 804-804 Assignment is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4972-4972 Greatest common divisor is an instance of function
No TPTP formula. May not be expressible in strict first order. Geography.kif 405-405 Latitude is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5051-5051 Least common multiple is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3103-3103 List is an instance of function
No TPTP formula. May not be expressible in strict first order. Geography.kif 442-442 Longitude is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3465-3465 Binary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3544-3544 Continuous function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3532-3532 Quaternary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3521-3521 Ternary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3424-3424 Unary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 916-916 "函数" is the printable form of function in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 603-603 "function" is the printable form of function in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 592-592 "function" is the printable form of function in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 122-122 "prakaarya" is the printable form of function in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 123-123 "Funzione" is the printable form of function in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 544-544 "Funcao" is the printable form of function in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 328-328 "تَابِع" is the printable form of function in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 127-127 "kalihukan" is the printable form of function in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 159-159 "function" is the printable form of function in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 126-126 "tungkulin" is the printable form of function in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 806-806 The number 1 argument of assignment is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3666-3666 The number 1 argument of closed on is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 337-337 The number 1 argument of range is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 368-368 The number 1 argument of range subclass is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2257-2257 Relation is exhaustively partitioned into predicate, function, and list


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners