the default shortcodes you can find in your theme folder -> 7league (folder) -> shortcodes.php, the shortcodes for the real estate things in your theme folder -> 7league -> posttype-real-estate.php.
By the way: a lot of shortcodes are in your wordpress editor. When you edit a page, inside the head of the editor are all the default buttons for “bold”, “italic” and “underline”. The last row of these buttons are the shortcodes. You can open the shortcodes dialog window when you click on the button with the “injection” symbol.
If you need general informations for shortcodes, please take a look at this: