Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识
示
形式化语言,是一阶逻辑可判定
集。
n. [数]集
（subset
数）
集（subset数）声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其
容亦不代本软件
观点；若发现问题，欢迎向我们指正。
用户正在搜索
infielder, infieldsman, infighter, infighting, in-fighting, infill, infilling, infilter, infiltrant, infiltrate,
相似单词
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.
描述逻辑是一种知识示的形式化语言,是一阶逻辑的可判定集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审
，
达内容亦不代本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
infinitesimal calculus, infinitesimality, infinitival, infinitive, infinitize, infinitude, infinity, infirm, infirmarian, infirmary,
相似单词
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.
描述
是一种知识表示形式化语言,是一阶可判定集。
声明：
句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
inflamer, inflammability, inflammable, inflammablefreight, inflammables, inflammation, inflammatory, inflatable, inflate, inflated,
相似单词
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.
描述逻辑是一种知识表示的
语言,是一阶逻辑的可判定集。
声明：以上例句、词性分类
联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
inflationitis, inflatoplane, inflator, inflect, inflectable, inflection, inflectional, inflective, inflector, inflex,
相似单词
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.
描述逻辑是一种知
的形式化语言,是一阶逻辑的可判定集。
声明：以上例句、词性分类均由互联
自动生成，部分未经过人工审核，其达内容亦不代本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
inflictive, inflight, in-flight, inflood, inflora, inflorescence, inflorescent, inflow, inflowing, inflows,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
用户正在搜索
inner circle, inner city, inner ear, Inner Hebrides, Inner Mongolia, inner product, inner tube, inner-cooling, inner-directed, innerloop,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
用户正在搜索
insubordination, insubstance, insubstantial, insuccation, insuccess, insufferable, insufferably, insufficience, insufficiency, insufficient,
相似单词
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.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定集。
声明：以上句、词性分类均由互联网资源自动生成，部分未经过人
，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
insulate, insulated, insulating, insulating tape, insulatingcompound, insulation, insulation board, insulative, insulativity, insulator,
相似单词
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.
描述逻
种知识表示的形式化语言,阶逻的可判定集。
声明：以上例句、词性分类均由互联网资源自动
，
分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
insulinogen, insulinogenesis, insulinoma, insulinum, insulism, insullac, insuloma, insulose, insulosity, insult,
相似单词
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.
描述逻辑是一种知识示形式化语言,是一阶逻辑可判定集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，内容亦不代本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
insupportably, insuppressible, insuppressive, insurable, insurable interest, insurance, insurance agent, insurance broker, insurance claim, insurance company,
相似单词
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.
描述逻辑是一种知识示的形式化语言,是一阶逻辑的可判定集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其达内容亦不
软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
insurgency, insurgent, insurgently, insurmountability, insurmountable, insurrection, insurrectional, insurrectionary, insurrectionist, insurrectionize,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,