Ontic
<language> 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].
| < Previous Terms | Terms Containing Ontic | Next Terms > |
| On-Line Computer system Online Media On-line Process Synthesizer Online Public Access Catalog On-Line Transaction Processing | Ontic | onto ontology OnX OO OOA |
