程序谓词的英文

• program predicate

• "程序"英文翻译    procedure
• "谓词"英文翻译    predicate
• "显式程序谓词" 英文翻译 :    explicit program predicate
• "隐式程序谓词" 英文翻译 :    implicit program predicate
• "谓词变换程序" 英文翻译 :    predicate transformer
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "假谓词" 英文翻译 :    false predicate
• "全谓词" 英文翻译 :    total predicate
• "数谓词" 英文翻译 :    numerical predicate; numerical readout
• "谓词的" 英文翻译 :    predicative
• "谓词交" 英文翻译 :    predicate intersection model
• "谓词名" 英文翻译 :    predicate name
• "真谓词" 英文翻译 :    truth-predicate
• "变项谓词, n变元谓词" 英文翻译 :    predicate of n variable n
• "n变元谓词" 英文翻译 :    predicate of
• "γ元谓词" 英文翻译 :    ray predicate
• "变化谓词" 英文翻译 :    change predicate
• "变项谓词" 英文翻译 :    predicate of
• "初始谓词" 英文翻译 :    initial predicate
• "递归谓词" 英文翻译 :    recursive predicate
• "刁番图谓词" 英文翻译 :    diophantine predicate
• "二元谓词" 英文翻译 :    binary relation
• "泛函谓词" 英文翻译 :    functional predicate
• "高价谓词" 英文翻译 :    higher-order predicate
• "高阶谓词" 英文翻译 :    higher order predicate

• Windows forms has no shell integration and does not respond to shell verbs
  Windows窗体则没有外壳程序集成，并且不对外壳程序谓词作出响应。