Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是
种知识表示的形式化语言,是阶逻辑的可判定子集。
subset
/'sʌbset/ /'sʌbset/
n. 子集
近义词
n.联想词
;
般化, 普通化, 归纳, 
论;括;data subset 资料子集，数据子集
声明：以上
句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
mandibulate, mandibulation, mandibulopharyngeal, mandile, mandilion, Mandingo, mandioc, mandioca, mandir, mandira,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
n. 子集
近义词
n.联想词
;
;论;，
续;;括;;data subset 资料子集，数据子集
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示
形式化语言,是一阶逻辑可判定子集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦代表本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
mandragorine, mandrake, Mandrax, mandrel, mandril, mandrill, mandrin, mandrox, mandruka, MANDS,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
n. 子集
近义词
n.联想词
;;论;，续;;括;;data subset 资料子集，数据子集
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示形式化语言,是一阶逻辑可判定子集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦代表本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
maned, maned wolf, manege, manengine, man-engine, manent, Maner, manes, manesan, manet,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
n. 子集
近
词
n. 联想词
;论;，不连续;
辨;括;data subset 资料子集，数据子集
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻
是一种知识表示形式化语言,是一阶逻
判定子集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
manful, manfully, manga, mangabeira, mangabey, Mangalite, Mangalore, mangan-actinolite, Manganal, mangan-alluaudite,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
n. 
集
集近义词
n.联想词
,
,范畴;
论;括;data subset 资料
集，数据集
集，数据集Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
逻辑是一
知识表示的形式化语言,是一阶逻辑的可判定集。
声明：以上例句、词性分均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
mangandisthene, mangandolomite, manganeisen, manganese, manganese bronze, manganese steel, manganese-aluminum, manganese-anorthite, manganese-gehlenite, manganese-merwinite,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
用户正在搜索
mangani-sicklerite, manganismus, manganite, manganizing, manganjustite, mangankoninckite, manganleonite, manganludwigite, mangan-magnetite, mangan-melanterite,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
用户正在搜索
manganomelane, manganonatrolite, manganopectolite, manganophyllite, mangan-orthite, manganosiderite, manganosite, manganosteenstrupine, manganostrengite, manganotantalite,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
n. 
近义词
n.联想词
种类,范畴;
, 
通, 归纳, 论;括;data subset 资料
，数
，数Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式
语言,是一阶逻辑的可判定。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
mange, mangel, mangelinvar, mangel-wurzel, manger, mangerite, mangetout, mange-tout, mangey, mangiferin,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
n. 子集
义词
n. 联
词
般化, 普通化, 归纳, 论;括;data subset 资料子集，数据子集
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑
种知识表示的形式化语言,
逻辑的可判定子集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
mangold, mangold-wurzel, mangonel, mangonic, mangos, mangosteen, mangostin, mangrolle, mangrove, mangy,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
n. 集
集近义词
n.联想词
,,范畴;论;括;data subset 资料集，数据集
集，数据集Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
逻辑是一知识表示的形式化语言,是一阶逻辑的可判定集。
声明：以上例句、词性分均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
manhead, manhelper, manhole, manhole cover, manholes, manhood, manhour, man-hour, manhunt, mani,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,
n. 子集
近义词
n.联想词
;;论;，续;;括;;data subset 资料子集，数据子集
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示形式化语言,是一阶逻辑可判定子集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦代表本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
Manichean, Manichee, Manicheism, manicotti, manicou, manicure, manicure set, manicurist, manifdder, manifer,
相似单词
subserve, subserver, subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft,