常見(jiàn)例句雙語(yǔ)例句The second part analyzes the formal language of knowledge predicate logic.分析知道謂詞邏輯的形式語(yǔ)言。Based on F-logic and O-logic, a formal description language of ontologies with value restrictions is proposed.基於F-邏輯和O-邏輯，提出了一種帶值限制的本躰形式表示語(yǔ)言。ceaj.orgDescription logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.描述邏輯是一種知識(shí)表示的形式化語(yǔ)言，是一堦邏輯的可判定子集。權(quán)威例句Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.NEWYORKER: Utopian for Beginners 返回 formal logic language