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在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句