Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑
种知识表示的形式化语言,
逻辑的可判定
集。
n. [数]集合（subset的复数）
集合（subset的复数）声明：以上例
、词
分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
meller, melliferous, mellifluence, mellifluent, mellifluous, mellilite, mellimide, melline, mellisic, mellisugous,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
n. [数]集合（subset的复数）
集合（subset的复数）Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
辑是一种知识表示的形式化语言,是一阶辑的可判定集。
声明：以上例句、词性
类均由互联网资源自动生成，部
过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
mellow, mellower, mellowing, mellowly, mellowness, mellowy, mellozing, melmac, melmak, Melmex,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
n. [数]集合（subset的复数）
集合（subset的复数）Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定集。
声明：以上
、词性分类均由互联网资源自动生成，部分未经过
核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
melodise, melodist, melodize, melodrama, melodramatic, melodramatics, melodramatise, melodramatist, melodramatize, melodrame,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
n. [
]
合（subset的复）
]合（subset的复）Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内
代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
melomania, melomaniac, melon, melonal, melonbelly, meloncus, melon-cutting, melone, melonemetin, melonenemetin,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
n. [数]集合（subset的复数）
集合（subset的复数）Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定集。
声明：以上句、词性分类均由互联网资源自动生成，部分未经过人
，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
Melophagus, melorheostosis, melos, meloschisis, melphalan, Melpomene, Melprex, Melrose, melt, melt down,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
用户正在搜索
melteigite, melter, melting, melting point, melting pot, melting-pot, melton, melt-out, meltshop, melt-stoichiometry,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
用户正在搜索
memex, memister, memistor, memmaker, memnescope, Memnon, memnonious, memo, memoir, memoire,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
n. [数]集合（subset的复数）
集合（subset的复数）Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述
一种知识表示的形式化语言,一阶的可判定集。
声明：以上例句、词性类均由互联网资源自动生
，
未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
memory access, memory cache, memory chip, memory device, memory trace, memoryless, memory-mapped, memorytron, memos, memoscope,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
n. [数]集合（subset
复数）
集合（subset复数）Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述是一种知识表示形式化语言,是一阶可判定集。
声明：
句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件
观点；若发现问题，欢迎向我们指正。
用户正在搜索
menacer, menachanite, menacing, menacingly, menacme, Menad, menadione, Menado, menage, ménage,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
n. [数]集合（subset的复数）
集合（subset的复数）Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表
软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
menat, menazon, menbutone, Mencius, mend, mendable, mendacious, mendacity, mende, Mendel,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
n. [数]集合（subset的复数）
集合（subset的复数）Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定集。
声明：以上、词性分类均由互联网资源自动生成，部分未经
审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
Mendes, mendicancy, mendicant, mendicity, mending, mendip, mendipite, mendosicutes, Mendoza, mendozite,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,