Formalizing Semantic of Natural Language through Conceptualization from Existence · Study