Pontiac

n : famous chief of the Ottawa who led an unsuccessful

rebellion against the British (1715-1769) [syn: {Pontiac}]

Ontic

{Object-oriented} language for an {inference

system} with a {Lisp}-like appearance, but based on set

theory.

["Ontic: A Knowledge Representation System for Mathematics",

D.A. McAllester, MIT Press 1989].

(1996-06-24)