英语词汇many sorted predicate calculus怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	many sorted predicate calculus
释义	many sorted predicate calculus 简明释义多种类谓词演算网络释义短语 1 many sorted predicate calculus 多种类谓词演算
随便看	stripped deuteron strippeddown strippeddown stripped-down stripped emulsion stripped fossil plain stripped fraction stripped gas stripped illite Stripped jack nervous necrosis virus stripped juice stripped leaf stripped loin stripped magnetron strip mine stripped minicomputer stripped nucleus strip of strip off stripped oil stripped particle stripped peneplain stripped plain stripped plane stripped plasma

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。