英语词汇“many sorted predicate calculus”的翻译、意思、用法、释义-英汉双解词典-注文网

单词	many sorted predicate calculus
释义	many sorted predicate calculus 多种类谓词演算
随便看	largest permissible dimension largest permissible single chamfer dimension largest prime divisor large-strain large strain largest residue class module large strip large strips large structure largest syntactic mark largest vessel large-subunit large sum in ready money large summer egg large surface area large sweat gland large sweat glands large sweet broad pea large sweet curd large synchronous compensator large syntactic mark large-system large system large system analysis large system control 舞裙香暖金泥凤，画梁语燕惊残梦。门外柳花飞，玉郎犹未归。舞蹈舞转回红袖，书幽截碧笺。舞遍柘枝遗谱，歌尽桃花团扇，无语到东风。此意复谁解，我辈正情钟。舞靴应任闲人看，笑脸还须待我开，不用镜前空有泪，蔷薇花谢即归来。舞鹤翔鸾俱别离，可怜生死两相随。舟中贾客莫漫狂，小姑前年嫁澎郎。舟人击鼓挽舟去，牛头刺地挽不行。舟人夜语觉潮生。舟如空里泛，人似镜中行。烈名烈士烈士家属烈女烈属烈度烈性烈日烈暑烈武