...士学位论文 第二章描述逻辑 第二章描述逻辑 本体可以被实现成不同类型的语言【28】：既可以是严格形式化的（rigorously formal）， 也可以是半形式化（semi．formal）或半非形式化的（semi-informal），甚至是高度非形式化 （highly informal）的语言。
基于22个网页-相关网页
rigorously formal
严格的正式
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动