impredicative

英[ɪmprɪ'dɪkətɪv] 美[ɪmprɪ'dɪkətɪv]
  • adj.非直谓的(非断言的)
  • imp n.小恶魔；顽童v.装上翅膀；移植羽毛abbr.工业管理程序（=IndustrialManagementProgram)abbr.接口信息处理（=InterfaceMessageProcessor)abbr.星际监视探测人造卫星（=InterplanetaryMonitoringProbeSatellite)
  • IMP-Na (=sodiuminosine5'-monophosphate)肌苷磷酸钠
  • Imp. n.进口
  • IMPA =InternationalMaritimePilot'sAssociation国际引水员协会
  • impacarzine 豆蔻咪哌嗪

双语例句

    用作形容词 (adj.)
    1. This extension is not universally accepted by Intuitionists since it allows impredicative, i.e. circular, constructions, which are often identified with classical reasoning.
      这个扩展不被直觉主义者所普遍接受，因为它允许非直谓性的，就是循环的构造，这经常用经典推理来识别。

相关词汇

imp improv
展开全文

大家正在查

impenetration是什么意思 improvization是什么意思 implied-AND是什么意思 cross-trade是什么意思 cross-buble是什么意思 crossbridging是什么意思 crosslighting是什么意思 Imperatori是什么意思 imperoline是什么意思 implicture是什么意思