本发明提出一种关系定义一切语义的存在计算模型中的语义识别和推导方法，其存在计算模型包括存在级别跟踪模块，传递存在价值评估模块，以自上而下的方式扩展存在传递价值的推理和以自下而上存在的传递价值的公理和模块，旨在解决概念语义的识别、建模和概念的语义形式化等问题。