Logic forms are simple,
first-order logic knowledge representations of
natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and conjunction generates a predicate. Logic forms can be decorated with
word senses to
disambiguate the semantics of the word. There are two types of predicates: events are marked with
e, and entities are marked with
x. The shared arguments connect the subjects and objects of verbs and prepositions together. Example input/output might look like this:
Input: The Earth provides the food we eat every day.
Output: Earth:n_#1(x1) provide:v_#2(e1, x1, x2) food:n_#1(x2) we(x3) eat:v_#1(e2, x3, x2; x4) day:n_#1(x4)