English Dictionary
oil
n 1: a slippery or viscous liquid or liquefiable substance not
miscible with water
2: paint used by an artist [syn: {oil color}]
v 1: cover with oil, as if by rubbing; "oil the wooden surface"
2: apply lubricants to' "lubricate my car engine" [syn: {lubricate},
{lube}]
3: administer a sacred oil or ointment to in a religious
ceremony of blessing [syn: {anoint}, {anele}, {ambrocate}]
English Computing Dictionary
OIL
1. ["The Architecture of the FAIM-1 Symbolic Multiprocessing
System", A. Davis et al, 9th Intl Joint Conf in Artif Intell,
1985, pp.32-38].
2. Operator Identification Language. Used for {overloading}
resolution by the {Eli} compiler-writing system.