短語詞組短語second order predicate calculus 第二階述詞演算second -order predicate calculus [數(shù)]二階謂詞演算;翻譯 返回 second predicate calculus