Greek lexicon based on Thayer's and Smith's Bible Dictionary plus others; this is keyed to the large Kittel and the "Theological Dictionary of the New Testament." These files are public domain.
Thayer and Smith. "Greek Lexicon entry for Petra". "The KJV New Testament Greek Lexicon".