本体的,实体的
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)