零六五六深蓝词典

predicate variable

P 开头单词

短语词组

    短语

  • n -ary predicate variable 元可变谓词
  • variable predicate circumscription 可变谓词限定
    • 返回 predicate variable