diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 43571167d0b..290a8f58eba 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -1073,7 +1073,12 @@ def decl(self):
             _z3_assert(is_app(self), "Z3 application expected")
         return FuncDeclRef(Z3_get_app_decl(self.ctx_ref(), self.as_ast()), self.ctx)
 
-    
+    def kind(self):
+        """Return the Z3 internal kind of a function application."""
+        if z3_debug():
+            _z3_assert(is_app(self), "Z3 application expected")
+        return Z3_get_decl_kind(self.ctx_ref(), Z3_get_app_decl(self.ctx_ref(), self.ast))
+        
 
     def num_args(self):
         """Return the number of arguments of a Z3 application.