Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式
语
,是一阶逻辑的可判定
集。
n. [数]集合（subset的复数）
集合（subset的复数）声明：以上例句、词性
由互联网资源自动生成，部未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
APC-T, apcvd, APD, APDA, APDS, ape, apeak, APEAL, APEC, APECS,
相似单词
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.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内
代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
apellous, apeman, ape-man, Apennines, apenteric, APEO, apepsia, apepsinia, aper, aperception,
相似单词
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.
描述逻辑
种知识表示的形式化语言,
逻辑的可判定集。
声明：以上例
、词
分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
APers, apertometer, apertum, apertura, aperture, apertured, aperturing, aperturoid, apery, apetalae,
相似单词
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.
描述逻辑是一种知识
示形式化语言,是一阶逻辑可判定集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其
容亦不代本软件
观点；若发现问题，欢迎向我们指正。
用户正在搜索
apfelstrudel, APFSDS, APG, APHA, aphacia, aphaeresis, aphaeretic, aphagia, aphakia, aphakic,
相似单词
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.
描述逻辑是一种知识
形式化语言,是一阶逻辑可判定集。
声明：以上例句、词性分类均由互
源自动生成，部分未经过人工审核，其达内容亦不代本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
aphanitism, aphanizophyll, aphanocyclae, Aphanomyces, aphanophyre, aphanophyric, aphanoplasmodium, aphantobiont, aphaptotropism, aphasia,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
用户正在搜索
aphides, aphidicolous, Aphididae, aphidilutein, aphidilutien, aphidivorous, Aphidoidea, aphidologist, Aphidomorpha, aphidozer,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,
用户正在搜索
apholate, aphonia, aphonic, aphonous, aphony, aphorama, aphoresis, aphoria, aphorism, aphorist,
相似单词
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.
描述逻辑是一
表示的形式化语言,是一阶逻辑的可判定集。
声明：以上例句、词性分类均由互联网资
生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
aphrasia, aphrenia, aphrite, aphrizite, aphrodine, aphrodisia, aphrodisiac, aphrodisiomania, aphrodite, Aphroditidae,
相似单词
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.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达不代表本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
aphthoid, aphthong, aphthongal, aphthongia, aphthosis, aphthous, Aphtit, aphua, aphylactic, aphylaxis,
相似单词
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.
描述逻辑是一种知识示的形式化语言,是一阶逻辑的可判定集。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其达内容亦
本软件的观点；若发现问题，欢迎向我们指正。
用户正在搜索
apian, apiarian, apiarist, apiary, APIC, apical, apicalmargin, apicectomy, apiceotomy, apices,
相似单词
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.
描述逻辑是一种知识表示形式化语言,是一阶逻辑可判定。
声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表亦不代表本软件观点；若发现问题，欢迎向我们指正。
用户正在搜索
apiculus, apiczon, Apidae, apidaecin, apidan, apiderm, apiece, Apiezon, apigenin, apiin,
相似单词
subservience, subserviency, subservient, subset, subsetability, subsets, subsextuple, subshaft, sub-shaft, subshare,