Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表
式化语言,是一阶逻辑可判定子集。
decidable
/dɪ'saɪdəbl/
adj. 可决定
明：以上例句、词性分类均由互联网资
生成，部分未经过人工审核，其表达内容亦不代表本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
Catherine, Catherine of Aragon, catherine wheel, catheter, catheterization, catheterize, cathetodesma, cathetometer, cathetron, cathetus,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
adj. 可决定的
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑
知识表示的形式化语言,阶逻辑的可判定子集。
明：以上例句、词性
类均由互联网资源自动生成，部
过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
cathoderay, cathode-ray, cathodic, cathodochromic, cathodochromism, cathodoelectroluminescence, cathodogram, cathodograph, cathodoluminescence, cathodolumine-scence,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
adj. 可决定的
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定
。
：
上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
catholicity, catholicize, catholicness, catholicon, catholicos, catholyte, cathomycin, cat-hook, cathouse, Cathryn,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
adj. 可决定的
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑知识表示的形式化语言,阶逻辑的可判定子集。
明：以上例句、词性类均由互联网资源自动生成，部过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
cationic detergent, cationics, cationictitration, cationite, cationoid, cationotropy, cations, cationtrophy, catiophile, catipu,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
adj. 可决定的
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式
语
,是一阶逻辑的可判定子集。
明：以上例句、词性分类均由
资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
catlin, catline, catling, catlinit, catlinite, catmint, catnap, catnapper, catnip, Cato,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
用户正在搜索
catoptric, catoptrical, catoptrics, catoptrite, catoptromancy, catoptron, catoptrophobia, catoptroscope, cator, catorama,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
adj. 可决定的
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定。
：上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
cat's-foot, catshaft, Catskill Mountains, catskin, catskinner, catslide, cat's-meat, catspaw, cat's-paw, catstep,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
adj. 可决定的
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的
语言,是一阶逻辑的可判定子集。
明：以上例句、词性分类均由互联
自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
cattery, CATTI, cattierite, cattily, cattiness, cattish, cattle, cattle breeding, cattle farm, cattle ship,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
adj. 可决定
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述
是一种知识表示形式化语言,是一阶可判定子集。
明：以上例句、词
类均由互联网资源自动生成，部未经过人工审核，其表达内容亦不代表本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
catulotic, CATV, catwalk, catwhisker, cat-whisker, CAU, Cauca, Caucasia, Caucasian, Caucasic,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,
adj. 可决定的
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是
识表示的形式化语言,是阶逻辑的可判定子集。
明：以上例句、词性类均由互联网资源自动生成，
经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
caudacoria, caudad, caudaite, caudal, caudal vertebra, caudalia, CAUDAR, Caudata, caudate, caudate nucleus,
相似单词
decibel, decibelmeter, decibels, decicaine, decidability, decidable, decide, decided, decidedly, decider,