短语词组短语second order predicate calculus 第二阶述词演算second -order predicate calculus [数]二阶谓词演算;翻译 返回 second predicate calculus