The characterization of semantics