tactical

名词 n. 形容词 adj.

英文释义

名词 n.
  1. A combinator of proof tactics.
    — The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.
  2. A private war reenactment event involving mock battles or skirmishes.
形容词 adj.
  1. Of or relating to tactics. not-comparable
    — As in the 1-0 win against Norway in Oslo, this was an England performance built on the foundations of solid defence and tactical discipline.
  2. Of or relating to military operations that are smaller or more local than strategic ones. not-comparable
    — tactical nuclear weapon
  3. Adroit, skilful or ingenious. not-comparable
  4. Having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration. not-comparable

词形变化

tacticals plural

词源

词源 1
Etymology tree
English tactic
Proto-Indo-European *h₂el-der.?
Proto-Italic *-ālis
Latin -ālisbor.
Old French -albor.

Latin -ālis
Old French -elbor.

Latin -ālisbor.
Middle English -al
English -al
English tactical
From tactic + -al.
词源 2
Etymology tree
English tactic
Proto-Indo-European *h₂el-der.?
Proto-Italic *-ālis
Latin -ālisbor.
Old French -albor.

Latin -ālis
Old French -elbor.

Latin -ālisbor.
Middle English -al
English -al
English tactical
From tactic + -al.
0 次浏览 数据来源: Wiktionary