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...
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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1991-1993
No TPTP formula. May not be expressible in strict first order. Merge.kif 3353-3356
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 625-627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11056-11056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10026-10026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11054-11054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11057-11057
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11059-11059
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11055-11055
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11058-11058
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11053-11053
No TPTP formula. May not be expressible in strict first order. Merge.kif 3351-3351 Function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3350-3350 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 784-784 Assignment is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4844-4844 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 4929-4929 Least common multiple is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2931-2931 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 3398-3398 Binary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3472-3472 Continuous function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3461-3461 Quaternary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3450-3450 Ternary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3358-3358 Unary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 916-916
No TPTP formula. May not be expressible in strict first order. english_format.kif 1039-1039
No TPTP formula. May not be expressible in strict first order. french_format.kif 592-592
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 122-122
No TPTP formula. May not be expressible in strict first order. terms-it.txt 125-125
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2277-2277
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 544-544
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 127-127
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 159-159
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 613-613
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 126-126

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 786-786 The number 1 argument of assignment is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3574-3574 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 306-306 The number 1 argument of range is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 334-334 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 2162-2162 Relation is exhaustively partitioned into 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