A Markov logic network consists of a set of first-order clauses (which we will refer to as formulas in the rest of the paper) just like in first-order logic.
interested readers can refer to the literature review by Ng (2010).