Refine this word faster
Tactical
//ˈtæktɪk(ə)l// adj, noun
Definitions
Adjective
- 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
Adjective
- 1 of or pertaining to tactic or tactics wordnet
Noun
- 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.
Etymology
Etymology 1
From tactic + -al.
Etymology 2
From tactic + -al.
See also for "tactical"
Next best steps
Mini challenge
Unscramble this word: tactical