From WordNet (r) 3.0 (2006) [wn]:
mike
n 1: device for converting sound waves into electrical energy
[syn: microphone, mike]
From The Collaborative International Dictionary of English v.0.48 [gcide]:
mike \mike\ n. [shortened from microphone.]
A microphone, the device for converting sound waves into
electrical energy. [informal]
Syn: microphone.
[WordNet 1.5]
From The Free On-line Dictionary of Computing (8 July 2008) [foldoc]:
Micro Interpreter for Knowledge Engineering
MIKE
<artificial intelligence, tool> (MIKE) An {expert system
shell} for teaching purposes, with forward chaining,
backward chaining, and user-definable conflict resolution
strategies. MIKE is written in Edinburgh Prolog.
Version 2.03.
[BYTE, Oct 1990].
{(ftp://hcrl.open.ac.uk/pub/software/src/MIKE-v2.03)}.
Contact: Marc Eisenstadt, HCRL, Open University.
(1995-01-10)