The paper proposes a model of integrated semantica, based on the predicate calculus formulas, whose elements are semantic functions. So predicate constants have the values semantic functions. The arguments of the predicate, except variables and constants may be semantic functions. Predicate constants can have attributes, by which it is possible to include a logical consequence of such factors as the time. Modified method of resolutions, which in the operation of unification entered addition.
semantic functions, natural language formalization of semantics