Specification of the terminology of the ontology within a formal language such as first-order logic是什么意思_Specification of the terminology of the ontology within a formal language such as first-order logic在线翻译_英语_读音_用法_例句