...is
All NEOCLASSIC input here is given in the syntax of the NEOCLASSIC character stream interface. For details on how to build descriptions and perform NEOCLASSIC operations in the C++ application programming interface, see the NEOCLASSIC Reference Manual.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...restriction
A derivable restriction is one that was either stated as part of the definition, or can be deduced from other information.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...use:
In the NEOCLASSIC character interface there is a current knowledge base and concepts are created in that knowledge base.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...individual.
Just as for concepts, the character interface creates CLASSIC individuals in the current knowledge base.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...guide
For the interested reader, the reason is roughly that this would make concept descriptions autoepistemic (and thus nonmonotonic).
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...is:
As before, the character interface creates roles in the current knowledge base.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...rule.
Again, the character interface creates roles in the current knowledge base.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Peter F. Patel-Schneider
7/15/1998